diff --git a/collects/redex/private/tl-test.ss b/collects/redex/private/tl-test.ss
index d70795b1c5..8dd90a3884 100644
--- 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