From fb3077b79f9fa4d08eb9439962c49b6a423eb555 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 14 Jul 2007 00:40:13 +0000 Subject: [PATCH] contract fix svn: r6911 original commit: df9238bab09a78cdf760cdb17277efd804a56502 --- collects/scribblings/scribble/reader.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/scribble/reader.scrbl b/collects/scribblings/scribble/reader.scrbl index a61d6e90..bae31384 100644 --- a/collects/scribblings/scribble/reader.scrbl +++ b/collects/scribblings/scribble/reader.scrbl @@ -755,7 +755,7 @@ experimentation. (Note: enables line and column tracking.) } @defparam[datum-readtable readtable - (or/c #t false/c readtable? (readtable? . -> . readtable?))]{ + (or/c (one-of/c #t #f) readtable? (readtable? . -> . readtable?))]{ A parameter that determines the readtable used for reading the datum part. The default (@scheme[#t]) is to use the current readtable (usually a result of @scheme[make-at-readtable]), otherwise it can be