svn: r17543

2010-01-07 20:06:18 +00:00 · 2010-01-07 20:06:18 +00:00 · 0eb5178ca8
commit 0eb5178ca8
parent 08457d35e3
1 changed files with 0 additions and 10 deletions
--- a/collects/redex/private/tl-test.ss
+++ b/collects/redex/private/tl-test.ss
@ -1221,16 +1221,6 @@
         (term junk))
        (list '(x x1)))
  
-  (test (apply-reduction-relation 
-         (reduction-relation 
-          empty-language
-          (--> any (any_y x)
-               (fresh x)
-               (where any_y x)
-               (fresh x)))
-         (term junk))
-        (list '(x x1)))
-  
  (test (apply-reduction-relation 
         (reduction-relation 
          empty-language