From af5628bb5a45dc3625587b6a580d45d6a8e0a460 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 12 Sep 2008 19:32:39 +0000 Subject: [PATCH] Fix up syntax here. svn: r11698 --- collects/scribblings/reference/contracts.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index a1dabbb252..622c225a9e 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -642,8 +642,8 @@ only used in the contract for the sub-struct's maker, and the selector or mutators for the super-struct are not provided.} @defform/subs[ -(with-contract blame-id (wc-exports) body ...+) -([wc-exports +(with-contract blame-id (wc-export ...) body ...+) +([wc-export id (id contract-expr)])]{ Generates a local contract boundary. The @scheme[contract-expr]