Bug fix: \endfoo wrongly classified as \end{foo}

This commit is contained in:
Achim D. Brucker 2018-05-19 18:19:54 +01:00
parent 57ad27f1e5
commit 35420ad975
1 changed files with 1 additions and 1 deletions

View File

@ -83,7 +83,7 @@ object LaTeXLexer extends RegexParsers {
}
def end0: Parser[String] = {
"\\\\end[^\\{]*".r ^^ (_.toString)
"\\\\end\\{.*".r ^^ (_.toString)
/* grabs whitespace and also env options ... */
}