From 3cebb15d999e6e26a98339ecb6fa7e62fdcf6a88 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 13:59:14 +0100
Subject: CLEANUP PROPOSITION: 'declaration' --> 'local declaration'

If, below, we speak about 'global declarations',
here it makes sense to speak about 'local declaration'.
---
 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 fb6a5bff83..04df208ee2 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -228,7 +228,7 @@ a global environment and a local context.
 
 \paragraph{Local context.}
 A {\em local context} is an ordered list of
-declarations of names which we call {\em variables}.
+local declarations of names which we call {\em variables}.
 The declaration of some variable $x$ is
 either a local assumption, written $x:T$ ($T$ is a type) or a local definition,
 written $x:=t:T$.  We use brackets to write local contexts. A
-- 
cgit v1.2.3