From a388e5401c2f83f4068314087e67d751acb59d17 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 17:34:05 +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 a008bd19a5..b7bbf7125f 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -416,7 +416,7 @@ $$\WTEGRED{\kw{let}~x:=u~\kw{in}~t}{\triangleright_{\zeta}}{\subst{t}{x}{u}}$$
 \index{eta-conversion@$\eta$-conversion}
 %\index{eta-reduction@$\eta$-reduction}
 }
-An other important concept is $\eta$-conversion. It is to identify any
+Another important concept is $\eta$-conversion. It is to identify any
 term $t$ of functional type $\forall x:T, U$ with its so-called
 $\eta$-expansion $\lb x:T\mto (t\ x)$ for $x$ an arbitrary variable
 name fresh in $t$.
-- 
cgit v1.2.3