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 index 55b3051cd..720680f2e 100644 --- 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 } }