From 3bc23270cf3a09364d3082fc5d6741121da9937a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 31 Oct 2008 15:18:03 +0000 Subject: [PATCH] fix reference docs to match r12197 svn: r12199 --- collects/scribblings/reference/reader.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/reference/reader.scrbl b/collects/scribblings/reference/reader.scrbl index 2dddc9a9de..f376735ff2 100644 --- a/collects/scribblings/reference/reader.scrbl +++ b/collects/scribblings/reference/reader.scrbl @@ -809,8 +809,8 @@ of alphanumeric ASCII, @litchar{+}, @litchar{-}, @litchar{_}, and/or @schemelink[char-whitespace?]{whitespace} or an end-of-file. The sequence must not start or end with @litchar{/}. A sequence @litchar{#lang }@nonterm{name} is equivalent to -@litchar{#reader }@nonterm{name}@litchar{/lang/reader}, except -that the terminating whitespace (if any) is consumed before the +@litchar{#reader }@nonterm{name}@litchar{/lang/reader}. Note +that the terminating whitespace (if any) is not consumed before the external reading procedure is called. Finally, @as-index{@litchar{#!}} is a synonym for @litchar{#lang}