diff options
| author | aarne <aarne@chalmers.se> | 2014-10-17 15:49:23 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-10-17 15:49:23 +0000 |
| commit | 5c862a3c7bda63886426a785357bad03b839dfa9 (patch) | |
| tree | 86e2d47117fe243bdcd1b77de9c40ad70cc99199 /src/runtime | |
| parent | 3f11f3d602f0688286077313cd54dd10f5b715bd (diff) | |
one general case in dealing with backslash in latex lexing is enough
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/Lexing.hs | 1 |
1 files changed, 0 insertions, 1 deletions
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 |