From 97c2278a6b792755b38f8d79feca40f5eb0303a3 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 16 Dec 2009 21:02:08 +0000 Subject: [PATCH] PR 10663 svn: r17332 --- collects/redex/redex.scrbl | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index ca1681bdd8..fe3d7c3eac 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -935,9 +935,7 @@ an expression in the lc-lang above: The first argument to define-metafunction is the grammar (defined above). Following that are three cases, one for -each variation of expressions (e in lc-lang). The right-hand -side of each clause begins with a comma, since they are -implicitly wrapped in @|tttterm|. The free variables of an +each variation of expressions (e in lc-lang). The free variables of an application are the free variables of each of the subterms; the free variables of a variable is just the variable itself, and the free variables of a lambda expression are