diff --git a/collects/scribble/reader.ss b/collects/scribble/reader.ss index 34af9124ce..7d9320e584 100644 --- a/collects/scribble/reader.ss +++ b/collects/scribble/reader.ss @@ -539,7 +539,8 @@ (make-keyword-procedure (lambda (kws kw-args . rest) (port-count-lines! (current-input-port)) - (keyword-apply make-at-readtable kws kw-args rest)))) + (current-readtable + (keyword-apply make-at-readtable kws kw-args rest))))) ;; utilities for below (define make-default-at-readtable