From e3863149f59cac7ff6f927fdb18412efb175f75a Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Sat, 11 Jun 2016 15:20:02 -0400
Subject: [PATCH] Increase timeout again.

---
 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 ad5ff911..7774c11c 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" 2000)))
+    ("with-tr-contracts.rkt" 3000)))
 
 
 ;; No need to compile the actual integration tests, just the harness.