From 1c4a6546d0c6c50196d63b09c49aa4ed35f6e789 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Sun, 26 May 2013 01:32:47 -0700
Subject: [PATCH] Removed unnecessary require.

---
 collects/typed-racket/base-env/base-types.rkt | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/collects/typed-racket/base-env/base-types.rkt b/collects/typed-racket/base-env/base-types.rkt
index c3039a310b..bbfc1e5e0e 100644
--- a/collects/typed-racket/base-env/base-types.rkt
+++ b/collects/typed-racket/base-env/base-types.rkt
@@ -1,11 +1,5 @@
 #lang s-exp "type-env-lang.rkt"
 
-;; This require is necessary, otherwise a somewhat random
-;; selection of unit tests fail.
-;; 
-;; I don't understand this at all. :(
-;; -- STH, 6/26/12
-(require (for-syntax "../env/global-env.rkt"))
 (require "../types/abbrev.rkt" "../types/union.rkt" "../types/numeric-tower.rkt" "../rep/type-rep.rkt")
 
 [Complex -Number]