From d9ea5141e90034677692a642adb1789d204c2e3f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 7 Oct 2010 09:46:06 -0500 Subject: [PATCH] fixed doc contract spec --- collects/redex/redex.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index 0999dd79e7..3d73dcec17 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -2148,7 +2148,7 @@ some part of a grammar, reduction relation, or metafunction. It defaults to slideshow's @racket[text] function. } -@defparam[set-arrow-pict! proc (-> symbol? (-> pict?) void?)]{ +@defproc[(set-arrow-pict! [arrow symbol?] [proc (-> pict?)]) void?]{ This functions sets the pict for a given reduction-relation symbol. When typesetting a reduction relation that uses the