From c25c0b28680b2719addcf4631ce11c048c9e6067 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 30 Aug 2011 12:49:35 -0500 Subject: [PATCH] Deletes duplicate tests --- collects/redex/tests/tl-test.rkt | 4 ---- 1 file changed, 4 deletions(-) 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")) - ; ;