Fixed parsing issue with predicates in problem description.
This commit is contained in:
parent
a8e4ef7234
commit
6f1b38cdb7
@ -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;
|
||||
}
|
||||
|
||||
|
Reference in New Issue
Block a user