From 51721e9bb544fb93505c32dca3c7bcaeaded3345 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 12 Sep 2011 19:39:45 -0600 Subject: [PATCH] fix contract in docs --- collects/scribblings/reference/namespaces.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/namespaces.scrbl b/collects/scribblings/reference/namespaces.scrbl index 496af3f6fd..a049c78685 100644 --- a/collects/scribblings/reference/namespaces.scrbl +++ b/collects/scribblings/reference/namespaces.scrbl @@ -414,7 +414,7 @@ Returns the @tech{phase} of the variable referenced by @racket[varref].} @defproc[(variable-reference->module-base-phase [varref variable-reference?]) - exact-nonnegative-integer?]{ + exact-integer?]{ Returns the @tech{phase} in which the module is instantiated for the variable referenced by @racket[varref], or @racket[0] if the variable