From 73c5e1e06c735f10513de46a5c1743769a1a1ae3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 12 Feb 2008 11:05:20 +0000 Subject: [PATCH] fixed use-at-readtable again svn: r8631 --- collects/scribble/reader.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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