From 0954a35e02180f91c54969b909ee436aa69e1c48 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Sat, 23 Aug 2025 17:00:05 +0200
Subject: Update Token.hs

---
 source/Syntax/Token.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source/Syntax/Token.hs')

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.
-- 
cgit v1.2.3