From 3e304d0b7c303576565a008400e68edd59c71ea6 Mon Sep 17 00:00:00 2001 From: Spencer Florence Date: Mon, 6 Apr 2015 13:13:53 -0400 Subject: [PATCH] fixed docs slightly --- scribblings/api.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribblings/api.scrbl b/scribblings/api.scrbl index 7bb95c4..aa29000 100644 --- a/scribblings/api.scrbl +++ b/scribblings/api.scrbl @@ -98,7 +98,7 @@ Get the namespace that coverage should be run in. This is the same namespace giv Returns a value suitable for @racket[current-compile] that will compile code with coverage annotations. That code must be run in @racket[environment]'s namespace.} -@defproc[(make-cover-environment [namespace namespace? (make-base-namespace)]) environment?]{ +@defproc[(make-cover-environment [namespace namespace? (make-empty-namespace)]) environment?]{ Makes a coverage environment such that @racket[environment-namespace] will return @racket[namespace], and @racket[namespace] will be set up to handle coverage information.}