Fix documentation for `implies'.

2012-04-12 16:25:31 -04:00 · 2012-04-12 16:25:31 -04:00 · fdb70316f1
commit fdb70316f1
parent c390d96780
1 changed files with 1 additions and 1 deletions
--- a/collects/scribblings/reference/booleans.scrbl
+++ b/collects/scribblings/reference/booleans.scrbl
@ -272,7 +272,7 @@ Returns @racket[(not v)].}
  Checks to be sure that the first
  expression implies the second.
  
-  Same as @racket[(if expr1 expr2 #f)].
+  Same as @racket[(if expr1 expr2 #t)].
  
  @examples[#:eval 
            bool-eval