From b40cde6b67bfe8251b5cde2ab1c3ec2d5c651e3a Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 16 Oct 2015 10:20:32 -0500 Subject: [PATCH] Remove stray timeout. The random tester has its own timeout, which doesn't cause drdr to error. --- typed-racket-test/tr-random-testing.rkt | 1 - 1 file changed, 1 deletion(-) 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)))