diff --git a/typed-racket-test/tr-random-testing.rkt b/typed-racket-test/tr-random-testing.rkt index 29746d0a..8e3d0920 100644 --- a/typed-racket-test/tr-random-testing.rkt +++ b/typed-racket-test/tr-random-testing.rkt @@ -257,5 +257,4 @@ (module+ test (module config info - (define timeout 300) (define random? #t)))