diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt
index 20a9acf5..f410d9d8 100644
--- a/typed-racket-test/info.rkt
+++ b/typed-racket-test/info.rkt
@@ -39,7 +39,7 @@
 (define test-timeouts
   '(("optimizer/run.rkt" 1200)
     ("run.rkt" 1800)
-    ("with-tr-contracts.rkt" 1500)))
+    ("with-tr-contracts.rkt" 2000)))
 
 
 ;; No need to compile the actual integration tests, just the harness.