Remove stray timeout.

The random tester has its own timeout, which doesn't cause drdr to error.
2015-10-16 10:20:32 -05:00 · 2015-10-16 10:20:32 -05:00 · b40cde6b67
commit b40cde6b67
parent 30ecfef309
1 changed files with 0 additions and 1 deletions
--- 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)))