From 0d3cb152f9544e16c260ebf87016d1df74e657b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 17 Jun 2017 18:08:51 +0200
Subject: [PATCH] Finished precondition parsing.

---
 lib/pddlparse/src/pddlparse/detail/parsing/Precondition.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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<ast::Precondition> parsePreconditionBody(Context &co
 		|| tokenizer.testIdentifierAndReturn(">=")
 		|| tokenizer.testIdentifierAndReturn("<="))
 	{
-		const auto expressionIdentifier = tokenizer.getIdentifier();
-		tokenizer.expect<std::string>("(");
-
-		skipSection(tokenizer);
+		tokenizer.seek(position);
 		return parseUnsupported(context);
 	}