From 3ecbc485d8e00a14aa643a34a448289d0014c7a8 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 5 Nov 2015 16:08:47 +0100
Subject: COMMENT: question

---
 doc/refman/RefMan-cic.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index f6e9152ca2..dee31cf86d 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -1323,7 +1323,9 @@ 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) have to be variables
+(sometimes called indices in the litterature)
+% QUESTION: in which literature?
+have to be variables
 ($a$ above) and these variables can occur in $P$ and bound in it.
 The expression after \kw{in}
 must be seen as an \emph{inductive type pattern}. Notice that
-- 
cgit v1.2.3