Remove unused export.

original commit: 8e51f2b5acd9dfba558b7ef9f82684b95d8ef972
2013-12-15 01:30:19 -08:00 · 2013-12-15 01:30:19 -08:00 · 729d2e9d4a
commit 729d2e9d4a
parent 482a9111d7
1 changed files with 0 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@ -21,7 +21,6 @@
          (env env-req)))

 (provide/cond-contract
- [type-check (syntax? . c:-> . (values syntax? syntax?))]
 [tc-module (syntax? . c:-> . (values syntax? syntax?))]
 [tc-toplevel-form (syntax? . c:-> . (values #f c:any/c))])