diff --git a/typed-racket-test/tests/info.rkt b/typed-racket-test/tests/info.rkt index 1c7d1c9e..ceec8fd1 100644 --- a/typed-racket-test/tests/info.rkt +++ b/typed-racket-test/tests/info.rkt @@ -3,11 +3,10 @@ (define name "Typed Racket Test Suite") (define test-timeouts - '(("typed-racket/typed-racket/optimizer/run.rkt" 1200) - ("typed-racket/typed-racket/run.rkt" 1800) - ("typed-racket/typed-racket/tr-random-testing.rkt" 300) - ("typed-racket/typed-racket/with-tr-contracts.rkt" 1000) - )) + '(("typed-racket/optimizer/run.rkt" 1200) + ("typed-racket/run.rkt" 1800) + ("typed-racket/tr-random-testing.rkt" 300) + ("typed-racket/with-tr-contracts.rkt" 1000))) ;; No need to compile the actual integration tests, just the harness.