diff --git a/collects/redex/examples/delim-cont/randomized-tests-test.rkt b/collects/redex/examples/delim-cont/randomized-tests-test.rkt index a55b39a6bf..54c6193087 100644 --- a/collects/redex/examples/delim-cont/randomized-tests-test.rkt +++ b/collects/redex/examples/delim-cont/randomized-tests-test.rkt @@ -142,6 +142,4 @@ (let ([test-number 1]) (redex-check grammar p (transformation-preserves-meaning? (term p)) #:prepare fix-prog - #:source :-> . kw-args))) - -(time (test-transformation/randomized #:attempts 1 #:attempt-size (const 3))) \ No newline at end of file + #:source :-> . kw-args))) \ No newline at end of file