From 52fe61d2255b97ac5428bb87c7a5b59c26a1d0c4 Mon Sep 17 00:00:00 2001 From: Spencer Florence Date: Sun, 5 Apr 2015 20:26:36 -0400 Subject: [PATCH] fixing crosslinking --- scribblings/api.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scribblings/api.scrbl b/scribblings/api.scrbl index 94d395b..43d259d 100644 --- a/scribblings/api.scrbl +++ b/scribblings/api.scrbl @@ -85,9 +85,10 @@ environment. @defproc[(environment? [v any/c]) any/c]{ Tests if the given value is a coverage environment.} -@defthing[current-coverage-environment (parameter/c environment?)]{ +@defthing[current-coverage-environment (parameter/c environment?) + #:value (make-cover-environment)]{ The current coverage environment. Defaults to an environment built from -@racket[make-base-namespace]} +@racket[make-empty-namespace]} @defproc[(environment-namespace [environment environment?]) namespace?]{ Get the namespace that coverage should be run in. This is the same namespace given to @racket[make-cover-environment]}