From 62005786bdb2e117442230c99ed8922e2c6eed81 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 5 Nov 2015 16:08:55 +0100
Subject: GRAMMAR

---
 doc/refman/RefMan-cic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index dee31cf86d..2c1aedc407 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -1323,7 +1323,7 @@ all possible values of the parameters.
 % So I am not sure if I really understand why parameters cannot be bound
 % in as-clause.
 The other arguments of $I$
-(sometimes called indices in the litterature)
+(sometimes called indices in the literature)
 % QUESTION: in which literature?
 have to be variables
 ($a$ above) and these variables can occur in $P$ and bound in it.
-- 
cgit v1.2.3