diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt
index 15a5bf1b2d..f7009ce09e 100644
--- a/collects/typed-racket/typecheck/tc-toplevel.rkt
+++ b/collects/typed-racket/typecheck/tc-toplevel.rkt
@@ -25,7 +25,8 @@
           "internal-forms.rkt"
           syntax/location
           mzlib/contract
-          racket/base))
+          racket/base
+          "../env/env-req.rkt"))
 
 (c:provide/contract
  [type-check (syntax? . c:-> . (values syntax? syntax?))]