From 803c3051e812e477ad64a853f4093e84c6b0a597 Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 5 Sep 2008 21:17:57 +0000 Subject: [PATCH] added link for redex-match svn: r11562 --- 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 80aa3a9dac..9ad415e436 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -945,7 +945,7 @@ that just get stuck when viewed in a `traces' window. The best way to debug such programs is to find an expression that looks like it should reduce but doesn't and try to find out what pattern is failing to match. To do so, use the -redex-match special form, described above. +@scheme[redex-match] special form, described above. In particular, first ceck to see if the term matches the main non-terminal for your system (typically the expression