diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt
index 5a76e7589f..2b3bbf992a 100644
--- a/collects/redex/tests/tl-test.rkt
+++ b/collects/redex/tests/tl-test.rkt
@@ -2127,10 +2127,6 @@
       (exec-runtime-error-tests "run-err-tests/judgment-form-undefined.rktd")
       (exec-runtime-error-tests "run-err-tests/judgment-form-ellipses.rktd"))
     
-    (parameterize ([current-namespace (make-base-namespace)])
-      (eval '(require redex/reduction-semantics))
-      (exec-runtime-error-tests "run-err-tests/judgment-form-undefined.rktd"))
-    
   
 ;                                                                               
 ;