From 93e2aa5e82435e6c9fac9d859b0eca65833cbe04 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 26 Jun 2009 01:28:14 +0000 Subject: [PATCH] typo svn: r15296 --- collects/scribblings/reference/syntax-model.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/syntax-model.scrbl b/collects/scribblings/reference/syntax-model.scrbl index bf99e3ff77..457639a2c8 100644 --- a/collects/scribblings/reference/syntax-model.scrbl +++ b/collects/scribblings/reference/syntax-model.scrbl @@ -97,7 +97,7 @@ dependency. If an identifier has a @tech{local binding}, then it is the same for all phase levels, though the reference is allowed only at a particular phase level. Attempting to reference a @tech{local binding} in a -different @tech{phase level} than the binding's context produces a +different @tech{phase level} from the binding's context produces a syntax error. If an identifier has a @tech{top-level binding} or @tech{module binding}, then it can have different such bindings in different phase levels.