diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-08-23 17:00:05 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-08-23 17:00:05 +0200 |
| commit | 0954a35e02180f91c54969b909ee436aa69e1c48 (patch) | |
| tree | d713c4ad3f5474852c605f9b04c0d31f0789ddf8 /source/Syntax | |
| parent | 9fed13c49c6fa32723ce5158b002029616860075 (diff) | |
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. |