From dedde2cd60aedecdebe2468a7c33c491a0082511 Mon Sep 17 00:00:00 2001 From: Benjamin Greenman Date: Sun, 13 Sep 2015 00:45:59 -0400 Subject: [PATCH] typo: construct -> contract --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 5b386ce3be..298383b243 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -1356,7 +1356,7 @@ if they do not, a contract violation is signaled. Then, when the function returns, it is checked to determine whether the result is wrapped, since the second @racket[a] appears in a positive position. - The @racket[new-∀/c] construct constructor is dual to @racket[new-∃/c]. + The @racket[new-∀/c] contract constructor is dual to @racket[new-∃/c]. } @defproc[(new-∃/c [name (or/c symbol? #f) #f]) contract?]{