From 6586ab120170fbf636baa3e7448426fcd26247ba Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 18 Apr 2011 15:47:52 -0600 Subject: [PATCH] fix typo Closes PR 11862 Merge to 5.1.1 (cherry picked from commit 963a8214b89a1968df11c63697bc07bb63c832e6) --- collects/scribblings/reference/module-reflect.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/module-reflect.scrbl b/collects/scribblings/reference/module-reflect.scrbl index 89a8d72ae1..bf4489b037 100644 --- a/collects/scribblings/reference/module-reflect.scrbl +++ b/collects/scribblings/reference/module-reflect.scrbl @@ -355,7 +355,7 @@ above the @tech{base phase}. When @racket[provided] is a symbol, the value of the module's export with the given name is returned, and still the module is not @tech{visit}ed or made @tech{available} in higher phases. If the -module exports @racket[provide] as syntax, then a use of the binding +module exports @racket[provided] as syntax, then a use of the binding is expanded and evaluated in a fresh namespace to which the module is attached, which means that the module is @tech{visit}ed in the fresh namespace. If the module has no such exported variable or syntax, then