From eb919c78d19bc43700789041639ea353afea3016 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 12 Sep 2008 16:26:09 +0000 Subject: [PATCH] Doc fixes. svn: r11686 --- collects/scribblings/reference/contracts.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index ac8e811089..a1dabbb252 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -657,10 +657,10 @@ exported without a contract. The @scheme[blame-id] is used for the positive positions of contracts paired with exported @scheme[id]s. Contracts broken within the @scheme[with-contract] @scheme[body] will use the -@scheme[blame-id] for their negative position. +@scheme[blame-id] for their negative position.} -@defform*[(define/contract id contract-expr init-value-expr) - (define/contract (head args) contract-expr body ...+]{ +@defform*[[(define/contract id contract-expr init-value-expr) + (define/contract (head args) contract-expr body ...+)]]{ Works like @scheme[define], except that the contract @scheme[contract-expr] is attached to the bound value.