Removed duplicate entry from predicates.

This commit is contained in:
2017-05-17 19:59:32 +02:00
parent 8a103ea89d
commit b3fd49ef97

View File

@@ -179,7 +179,6 @@ struct Predicate
Predicate(Predicate &&other) = default;
Predicate &operator=(Predicate &&other) = default;
std::string name;
Terms arguments;
PredicateDeclaration &declaration;