diff options
Diffstat (limited to 'source/Syntax')
| -rw-r--r-- | source/Syntax/Token.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/Syntax/Token.hs b/source/Syntax/Token.hs index 8149dee..6101a52 100644 --- a/source/Syntax/Token.hs +++ b/source/Syntax/Token.hs @@ -330,7 +330,7 @@ var = guardM isMathMode *> lexeme (fmap Variable var') unbraced <|> braced <|> text where unbraced = Text.singleton <$> Char.alphaNumChar - braced = Text.pack <$> (Char.char '{' *> many Char.alphaNumChar <* Char.char '}') + braced = Text.pack <$> (Char.char '{' *> some Char.alphaNumChar <* Char.char '}') text = Char.string "\\text" *> braced -- for rendering the subscript in roman type -- Temporary hack to fit the TPTP format. |