Remove debugging instrumentation

original commit: ec8e126a90acfb71e335351261c9227ec3cf4d14
2013-05-10 15:43:11 -04:00 · 2013-05-10 15:43:11 -04:00 · 52fd460618
commit 52fd460618
parent 826c793324
1 changed files with 2 additions and 2 deletions
--- 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)))