From dade2004e3d10335e2f506cd13b032ad2c5bbfa8 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 10 May 2013 15:43:11 -0400
Subject: [PATCH] Remove debugging instrumentation (cherry picked from commit
 ec8e126a90acfb71e335351261c9227ec3cf4d14)

---
 collects/typed-racket/types/subtype.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/typed-racket/types/subtype.rkt b/collects/typed-racket/types/subtype.rkt
index c1865ac01a..534aa96362 100644
--- a/collects/typed-racket/types/subtype.rkt
+++ b/collects/typed-racket/types/subtype.rkt
@@ -1,4 +1,4 @@
-#lang errortrace racket/base
+#lang racket/base
 (require (except-in "../utils/utils.rkt" infer)
          racket/match unstable/match racket/function racket/lazy-require racket/list
          (prefix-in c: (contract-req))
@@ -7,7 +7,7 @@
          (types utils resolve base-abbrev match-expanders
                 numeric-tower substitute current-seen)
          (for-syntax racket/base syntax/parse))
-(require racket/trace)
+
 (lazy-require
   ("union.rkt" (Un))
   ("../infer/infer.rkt" (infer)))