From 1ac2b62ad183e4e0dea3a37dd8d963c7430e3002 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 29 Jun 2007 18:24:55 +0000 Subject: [PATCH] backslash does not escape open/close braces svn: r6771 original commit: c2108614a71bc5afff825e233624cdcd98f7d7e0 --- 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 d212fab3..0d1af0d5 100644 --- a/collects/scribblings/scribble/reader.scrbl +++ b/collects/scribblings/scribble/reader.scrbl @@ -347,7 +347,7 @@ preserved in the text as usual. "@foo{b\\@ar}" "@foo{b\\\\@ar}" "@foo{b\\\\\\@ar}" - "@foo{b\\{\\@\\@ar}" + "@foo{b\\@\\@ar}" "@foo{b\\ar}" "@foo{b\\\\ar}" ]