From ec8e126a90acfb71e335351261c9227ec3cf4d14 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

---
 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 ef7699ea9f..3ec2f0d313 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)
          (rep type-rep filter-rep object-rep rep-utils)
          (utils tc-utils)
@@ -11,7 +11,7 @@
          racket/lazy-require
          (prefix-in c: racket/contract)
          (for-syntax racket/base syntax/parse))
-(require racket/trace)
+
 (lazy-require
   ("union.rkt" (Un))
   ("../infer/infer.rkt" (infer)))