From 290d3008fb65bee43a17a74445bef732176d2daa Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Wed, 17 Jun 2009 20:12:13 +0000 Subject: [PATCH] svn: r15198 --- collects/teachpack/2htdp/scribblings/universe.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/teachpack/2htdp/scribblings/universe.scrbl b/collects/teachpack/2htdp/scribblings/universe.scrbl index 4129cc3046..6cc09b4a92 100644 --- a/collects/teachpack/2htdp/scribblings/universe.scrbl +++ b/collects/teachpack/2htdp/scribblings/universe.scrbl @@ -1181,7 +1181,7 @@ optional handlers: } @item{ - @defform[(check-with universe?-expr) + @defform/none[(check-with universe?-expr) #:contracts ([universe?-expr (-> Any boolean?)])]{ ensure that what the event handlers produce is really an element of