From 85734c4cdbeae6f485194d3bfb88711e92a37caf Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 1 Dec 2005 00:21:50 +0000 Subject: [PATCH] PR7722 svn: r1450 --- collects/slatex/slatex.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/slatex/slatex.ss b/collects/slatex/slatex.ss index 6aee58440a..0828ee060f 100644 --- a/collects/slatex/slatex.ss +++ b/collects/slatex/slatex.ss @@ -274,7 +274,7 @@ ((#\|) "$\\vert$") ((#\~) "\\~{}") ((#\@) "{\\atsign}") - ((#\") "{\\tt\\dq}") + ((#\") "{\\dq}") (else (string c))))) (define slatex::token=?