Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

* Try this

  • Loading branch information...
commit 7d10eb08830fb1c4b298226befb4ed3886191cf1 1 parent 448a52a
Alessandro Vermeulen authored

Showing 1 changed file with 1 addition and 1 deletion. Show diff stats Hide diff stats

  1. +1 1  src/LiterateHighlighter.hs
2  src/LiterateHighlighter.hs
@@ -43,7 +43,7 @@ main = do args <- cmdArgsRun standard
43 43 else
44 44 printFormatting args
45 45
46   - where printFormat keyword (seek, rep) = "%format " ++ seek ++ " = \"{\\lhsCH" ++ keyword ++ "{" ++ rep ++ "}}\""
  46 + where printFormat keyword (seek, rep) = "%format " ++ seek ++ " = \"\\lhsCH" ++ keyword ++ "{" ++ rep ++ "}\""
47 47 writeOutput output mapping si =
48 48 mapM_ (\(keyword, f) -> mapM_ (hPutStrLn output . printFormat keyword)
49 49 (filter lhs2TeXSafe (f si))

0 comments on commit 7d10eb0

Please sign in to comment.
Something went wrong with that request. Please try again.