Deletes duplicate tests

This commit is contained in:
Casey Klein 2011-08-30 12:49:35 -05:00
parent c0625dc30c
commit c25c0b2868

View File

@ -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"))
;
;