remove redundant domains

[satune.git] / src / Test / ccsolvertest.c

diff --git a/src/Test/ccsolvertest.c b/src/Test/ccsolvertest.c
index bdb8898f05267e0f1651417c1eb92d970aa72f86..ab2c1abb394a5595d9e4e6918ac0081eba977f60 100644 (file)
--- a/src/Test/ccsolvertest.c
+++ b/src/Test/ccsolvertest.c
@@ -11,8 +11,7 @@ int main (int num, char** args){
         void *s2 = createSet(solver,0, set2, 3);
         void *e1 = getElementVar(solver,s1);
         void *e2 = getElementVar(solver,s2);
-        void *domain[] = {s1, s2};
-        void *equals = createPredicateOperator(solver,SATC_EQUALS, domain, 2);
+        void *equals = createPredicateOperator(solver,SATC_EQUALS);
         void *inputs[] = {e1, e2};
         void* b = applyPredicate(solver,equals, inputs, 2);
         addConstraint(solver,b);