From 0900b6c2e3c3b884630028800ec938b360c3b5f6 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Sat, 27 Feb 2010 01:18:17 +0000 Subject: [PATCH] Fix use of defform*/subs. svn: r18373 --- 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 4ba6ce07ef..96e9a76faa 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -744,8 +744,8 @@ ensure that the exported functions are treated parametrically. } @defform*/subs[ - (with-contract blame-id (wc-export ...) free-var-list ... body ...+) - (with-contract blame-id result-spec free-var-list ... body ...+) + [(with-contract blame-id (wc-export ...) free-var-list ... body ...+) + (with-contract blame-id result-spec free-var-list ... body ...+)] ([wc-export (id contract-expr)] [result-spec