From 50af2b09f750ae93c5e95821fcd37082aa08b4b9 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 13 Feb 2009 23:24:44 +0000 Subject: [PATCH] Remove the contract clause here. svn: r13566 --- collects/scribblings/reference/units.scrbl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/scribblings/reference/units.scrbl b/collects/scribblings/reference/units.scrbl index a35bed7524..d8cdeca7f1 100644 --- a/collects/scribblings/reference/units.scrbl +++ b/collects/scribblings/reference/units.scrbl @@ -635,8 +635,7 @@ Expands to a @scheme[provide] of all identifiers implied by the @defform/subs[#:literals (import export) (unit/c (import sig-block ...) (export sig-block ...)) - ([sig-block (sig-id [id ctc] ...) sig-id]) - #:contracts ([ctc contract?])]{ + ([sig-block (sig-id [id contract] ...) sig-id])]{ A @deftech{unit contract} wraps a unit and checks both its imported and exported identifiers to ensure that they match the appropriate contracts.