PR7722

svn: r1450
2005-12-01 00:21:50 +00:00 · 2005-12-01 00:21:50 +00:00 · 85734c4cdb
commit 85734c4cdb
parent a100409714
1 changed files with 1 additions and 1 deletions
--- 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=?