diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt index 912613d0..804c2692 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/async-channel.rkt @@ -2,7 +2,7 @@ ;; This module provides a typed version of racket/async-channel -(require "private/async-channel-wrapped.rkt" +(require racket/async-channel (for-syntax (only-in (rep type-rep) make-Async-ChannelTop))) ;; Section 11.2.4 (Buffered Asynchronous Channels)