fix for sTeX LSP linter

UniFormal · Oct 26, 2023 · 3eeabd8 · 3eeabd8
1 parent 316c8c2
commit 3eeabd8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/stex/STeXRules.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/stex/STeXRules.scala
@@ -865,6 +865,7 @@ abstract class InlineStatementRule extends StatementRule with MacroRule {
           ret.addError("No symbol " + s + " found")
         case _ =>
       }
+      parser.readArgument
       ret
     }
   }