Remove unused export.

2013-12-15 01:30:19 -08:00 · 2013-12-15 01:30:19 -08:00 · 8e51f2b5ac
commit 8e51f2b5ac
parent 4abe7d2657
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))])