CLEANUP PROPOSITION: 'declaration' --> 'local declaration'

If, below, we speak about 'global declarations',
here it makes sense to speak about 'local declaration'.

1 files changed, 1 insertions, 1 deletions

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