Avoid providing renamed identifiers.

2011-06-21 15:17:40 -04:00 · 2011-06-21 15:17:40 -04:00 · 00f9e6342f
commit 00f9e6342f
parent b00b2e318a
1 changed files with 1 additions and 1 deletions
--- a/collects/typed-scheme/minimal.rkt
+++ b/collects/typed-scheme/minimal.rkt
@ -24,5 +24,5 @@
             (require (only-in spec id ...) ...)
             (provide id ...) ...
             (provide (rename-out [b* b] ...))
-             (provide (all-from-out ts))
+             (provide (except-out (all-from-out ts) b* ...))
             (provide (all-from-out lb) ...))))))]))