From 1200468d82136ab3279bbe18da8fa0ba4e4cc8c4 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 4 Nov 2015 19:23:40 +0100
Subject: FIX: removing a reference to \Gamma, because it is undefined

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

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index 1013084702..51a0068b03 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -994,7 +994,7 @@ provided that the following side conditions hold:
 \item $p$ is the number of parameters of \NInd{}{\Gamma_I}{\Gamma_C}
   and $\Gamma_P$ is the context of parameters, 
 \item for $j=1\ldots  k$ we have that $A_j$ is an arity of sort $s_j$ and $I_j
-  \notin \Gamma \cup E$,
+  \notin E$,
 \item for $i=1\ldots  n$ we have that $C_i$ is a type of constructor of
   $I_{q_i}$ which satisfies the positivity condition for $I_1 \ldots  I_k$
   and $c_i \notin \Gamma \cup E$.
-- 
cgit v1.2.3