From 0b8537e24670fee2cf97c58b71d714b15661707c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 16 Oct 2010 22:24:16 -0500
Subject: [PATCH] fixed mangled test case (cherry picked from commit
 93260c7dd0d2d9a846121b140cecc6693e48942a)

---
 collects/redex/tests/tl-test.rkt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt
index f071a0c17d..3684c5d138 100644
--- a/collects/redex/tests/tl-test.rkt
+++ b/collects/redex/tests/tl-test.rkt
@@ -564,10 +564,9 @@
       (v .... 2))
     (define-metafunction/extension f M
       g : v -> v
-      [(g 2) 2]))
+      [(g 2) 2])
 
-(current-traced-metafunctions 'all)
-(term (g (2)))
+    (term (g (2))))
   
   (let ()
     (define-metafunction empty-language