diff --git a/lib/pddlparse/src/pddlparse/detail/parsing/Precondition.cpp b/lib/pddlparse/src/pddlparse/detail/parsing/Precondition.cpp index fbb0586..44cb30c 100644 --- a/lib/pddlparse/src/pddlparse/detail/parsing/Precondition.cpp +++ b/lib/pddlparse/src/pddlparse/detail/parsing/Precondition.cpp @@ -95,10 +95,7 @@ std::experimental::optional parsePreconditionBody(Context &co || tokenizer.testIdentifierAndReturn(">=") || tokenizer.testIdentifierAndReturn("<=")) { - const auto expressionIdentifier = tokenizer.getIdentifier(); - tokenizer.expect("("); - - skipSection(tokenizer); + tokenizer.seek(position); return parseUnsupported(context); }