diff --git a/src/plasp/pddl/Expression.cpp b/src/plasp/pddl/Expression.cpp index 38c135e..8f1fec3 100644 --- a/src/plasp/pddl/Expression.cpp +++ b/src/plasp/pddl/Expression.cpp @@ -33,7 +33,6 @@ ExpressionPointer parsePredicate(Context &context, ExpressionContext &expression inline void warnUnsupported(Context &context, const std::string &expressionIdentifier) { context.logger.parserWarning(context.parser, "Expression type \"" + expressionIdentifier + "\" currently unsupported in this context"); - skipSection(context.parser); } //////////////////////////////////////////////////////////////////////////////////////////////////// diff --git a/src/plasp/pddl/InitialState.cpp b/src/plasp/pddl/InitialState.cpp index 30e0c31..0c37f23 100644 --- a/src/plasp/pddl/InitialState.cpp +++ b/src/plasp/pddl/InitialState.cpp @@ -20,7 +20,6 @@ namespace pddl inline void warnUnsupported(Context &context, const std::string &expressionIdentifier) { context.logger.parserWarning(context.parser, "Expression type \"" + expressionIdentifier + "\" currently unsupported in this context"); - skipSection(context.parser); } ////////////////////////////////////////////////////////////////////////////////////////////////////