fixed mangled test case

2010-10-16 22:24:16 -05:00 · 2010-10-16 22:24:16 -05:00 · 93260c7dd0
commit 93260c7dd0
parent caa747e5c6
1 changed files with 2 additions and 3 deletions
--- 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