From 3d91ebeb4c05081b04c40f01299c7e3677965c03 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 16 Oct 2015 11:48:28 -0400 Subject: [PATCH] Increase timeout instead of removing it. Having no timeout definition reverts to the default, which is 90 seconds. --- typed-racket-test/tr-random-testing.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-test/tr-random-testing.rkt b/typed-racket-test/tr-random-testing.rkt index 8e3d0920..62b4cfd0 100644 --- 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)))