From 1550300c80dd1726257db8c6b0299703b6e0cfd3 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 17 Oct 2014 15:49:23 +0000
Subject: [PATCH] one general case in dealing with backslash in latex lexing is
 enough

---
 src/runtime/haskell/PGF/Lexing.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/runtime/haskell/PGF/Lexing.hs b/src/runtime/haskell/PGF/Lexing.hs
index b4a3d3fa0..dde39b494 100644
--- a/src/runtime/haskell/PGF/Lexing.hs
+++ b/src/runtime/haskell/PGF/Lexing.hs
@@ -59,7 +59,6 @@ unlexCode s = case s of
 lexLatexCode :: String -> [String]
 lexLatexCode = restoreBackslash . lexCode where --- quick hack: postprocess Haskell's lex
   restoreBackslash ws = case ws of
-    "\\":"\\":ww -> "\\\\":restoreBackslash ww
     "\\":w:ww -> ("\\" ++ w) : restoreBackslash ww
     w:ww -> w:restoreBackslash ww
     _ -> ws