From b5172405ff71bdd7151fd467751a7684cb9d5e43 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Mon, 8 Dec 2014 10:03:34 -0500
Subject: [PATCH] Actually fix the tests.

---
 typed-racket-test/tests/info.rkt | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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.