diff --git a/typed/lang/reader.rkt b/typed/lang/reader.rkt index 0ee2104d..1c4bf7c5 100644 --- a/typed/lang/reader.rkt +++ b/typed/lang/reader.rkt @@ -10,8 +10,7 @@ hyper-literate/typed/lang/lang ;; scribble/lp files are not directly scribble'able. #:language-info (scribble-base-language-info) #:info (scribble-base-reader-info) -(require "my-reader.rkt" - scribble/reader +(require scribble/reader (only-in scribble/base/reader scribble-base-reader-info scribble-base-language-info))