From 81d31e973e1639c800cf14db436caba88b2cb8e9 Mon Sep 17 00:00:00 2001 From: John Clements Date: Mon, 8 Sep 2008 22:06:00 +0000 Subject: [PATCH] added pattech annotation to side-condition svn: r11579 --- 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 9ad415e436..b15ada806b 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -645,7 +645,7 @@ determine the number of variables generated and var2 must be bound by the left-hand side of the rule. The side-conditions are expected to all hold, and have the -format of the second argument to the side-condition pattern, +format of the second argument to the @pattech[side-condition] pattern, described above. Each @scheme[where] clauses binds a variable and the side-conditions