#include "structs.h"
-Predicate* allocPredicate(enum CompOp op, Set ** domain, uint numDomain){
+Predicate* allocPredicate(CompOp op, Set ** domain, uint numDomain){
Predicate* predicate = (Predicate*) ourmalloc(sizeof(Predicate));
predicate->domains = allocDefVectorSet();
for(uint i=0; i<numDomain; i++)
pushVectorSet(predicate->domains,domain[i]);
predicate->op=op;
return predicate;
-}
\ No newline at end of file
+}