From fdb70316f12aa3acc704becd708b73950a7864d9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 12 Apr 2012 16:25:31 -0400 Subject: [PATCH] Fix documentation for `implies'. --- collects/scribblings/reference/booleans.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/booleans.scrbl b/collects/scribblings/reference/booleans.scrbl index 1fc3aabac8..799648fd4a 100644 --- 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