From 2b55d156ae3d241364aff25a7794a34237d7d107 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 13 Jun 2016 16:17:55 +0200 Subject: [PATCH] Fixed performance issue caused by skipping over unsupported sections multiple times. --- src/plasp/pddl/Expression.cpp | 1 - src/plasp/pddl/InitialState.cpp | 1 - 2 files changed, 2 deletions(-) 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); } ////////////////////////////////////////////////////////////////////////////////////////////////////