diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt
index eae6b9be..4146fe74 100644
--- a/typed-racket-test/info.rkt
+++ b/typed-racket-test/info.rkt
@@ -39,7 +39,7 @@
   '(("optimizer/run.rkt" 1200)
     ("run.rkt" 1800)
     ("tr-random-testing.rkt" 300)
-    ("with-tr-contracts.rkt" 1000)))
+    ("with-tr-contracts.rkt" 1500)))
 
 
 ;; No need to compile the actual integration tests, just the harness.