diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt
index 6360bf22..17360fab 100644
--- a/collects/typed-racket/core.rkt
+++ b/collects/typed-racket/core.rkt
@@ -15,7 +15,7 @@
          (env env-req)
          (for-template (only-in (base-env prims) :type :print-type :query-type/result))
          (utils utils tc-utils arm)
-         "tc-setup.rkt" "utils/debug.rkt")
+         "tc-setup.rkt")
 
 (provide mb-core ti-core wt-core)
 
diff --git a/collects/typed-racket/env/scoped-tvar-env.rkt b/collects/typed-racket/env/scoped-tvar-env.rkt
index c37fa5d6..96fc4eae 100644
--- a/collects/typed-racket/env/scoped-tvar-env.rkt
+++ b/collects/typed-racket/env/scoped-tvar-env.rkt
@@ -6,7 +6,6 @@
          (for-template racket/base)
          (rep type-rep)
          syntax/parse
-         unstable/debug
          syntax/id-table
          racket/contract
          racket/match
diff --git a/collects/typed-racket/tc-setup.rkt b/collects/typed-racket/tc-setup.rkt
index 16854995..13c9dd06 100644
--- a/collects/typed-racket/tc-setup.rkt
+++ b/collects/typed-racket/tc-setup.rkt
@@ -7,7 +7,7 @@
          (types utils)
          (typecheck typechecker provide-handling tc-toplevel)
          (env tvar-env type-name-env type-alias-env env-req mvar-env)
-         (utils tc-utils disarm mutated-vars debug)
+         (utils tc-utils disarm mutated-vars)
          (rep type-rep)
          (for-syntax racket/base)
          (for-template racket/base))
@@ -63,8 +63,7 @@
         (do-time "Initialized Envs")
         (find-mutated-vars fully-expanded-stx mvar-env)
         (parameterize ([orig-module-stx (or (orig-module-stx) orig-stx)]
-                       [expanded-module-stx fully-expanded-stx]
-                       [debugging? #f])
+                       [expanded-module-stx fully-expanded-stx])
           (do-time "Starting `checker'")
           (define-values (pre-result post-result) (checker fully-expanded-stx))
           (do-time "Typechecking Done")
diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt
index 3839df41..5b2bbb6a 100644
--- a/collects/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt
@@ -14,7 +14,7 @@
          (env lexical-env type-env-structs tvar-env index-env)
          racket/private/class-internal
          syntax/parse syntax/stx
-         unstable/function unstable/syntax #;unstable/debug         
+         unstable/function unstable/syntax
          (only-in srfi/1 split-at)
          (for-template "internal-forms.rkt" (only-in '#%paramz [parameterization-key pz:pk])))