From 32b91c9e93c0461f31a08019efca960bb5cf5ee6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 28 Jun 2009 19:28:41 +0000 Subject: [PATCH] svn: r15324 --- 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 53e2c4adc8..4a1a4b2210 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -680,7 +680,7 @@ all non-GUI portions of Redex) and also exported by [reduction-case (--> @#,ttpattern @#,tttterm extras ...)] [extras name (fresh fresh-clause ...) - (side-condition scheme-expression ...) + (side-condition scheme-expression) (where tl-pat @#,tttterm)] [fresh-clause var ((var1 ...) (var2 ...))] [tl-pat identifier (tl-pat-ele ...)]