From 6f1b38cdb74c7d5339fa402bb412212955cc8e34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 9 Jun 2016 18:04:24 +0200
Subject: [PATCH] Fixed parsing issue with predicates in problem description.

---
 src/plasp/pddl/expressions/Predicate.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plasp/pddl/expressions/Predicate.cpp b/src/plasp/pddl/expressions/Predicate.cpp
index f32ea00..255a051 100644
--- a/src/plasp/pddl/expressions/Predicate.cpp
+++ b/src/plasp/pddl/expressions/Predicate.cpp
@@ -141,6 +141,8 @@ PredicatePointer Predicate::parse(Context &context, const Problem &problem)
 
 	// TODO: check that signature matches one of the declared ones
 
+	parser.expect<std::string>(")");
+
 	return predicate;
 }