From 757939c11896e7e4d8eeae24a56aec6e8a8ca72c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 31 Oct 2013 23:22:52 -0400 Subject: [PATCH] Fix doc typo --- .../racket-doc/scribblings/reference/contracts.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl index 259fb7c6b8..69f7c83ef9 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -1234,7 +1234,7 @@ the values they accept and ensure that the exported functions are treated parametrically. See @racket[new-∃/c] and @racket[new-∀/c] for details on how the clauses hide the values. -The implementation of @racket[contract-out] attaches uses +The implementation of @racket[contract-out] uses @racket[syntax-property] to attach properties to the code it generates that records the syntax of the contracts in the fully expanded program. Specifically, the symbol @racket['provide/contract-original-contract]