Increase timeout instead of removing it.

Having no timeout definition reverts to the default, which is 90 seconds.
2015-10-16 11:48:28 -04:00 · 2015-10-16 11:48:28 -04:00 · 3d91ebeb4c
commit 3d91ebeb4c
parent b40cde6b67
1 changed files with 1 additions and 0 deletions
--- a/typed-racket-test/tr-random-testing.rkt
+++ b/typed-racket-test/tr-random-testing.rkt
@ -257,4 +257,5 @@

 (module+ test
  (module config info
+    (define timeout 600)
    (define random? #t)))