From 5f39bb364722ef6e06e1ac2e48e3935d596d6b4d Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Thu, 12 Nov 2015 18:41:52 -0500
Subject: [PATCH] Increase with-tr-contracts timeout.

---
 typed-racket-test/info.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.