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;
 }