remove redundant domains

[satune.git] / src / Test / anyvaluetest.cc

diff --git a/src/Test/anyvaluetest.cc b/src/Test/anyvaluetest.cc
index 84e9ad6c885719f0705ad1b00546705c0c573c43..952684a2cc5d427e3295682e032558bbe8a4d19c 100644 (file)
--- a/src/Test/anyvaluetest.cc
+++ b/src/Test/anyvaluetest.cc
@@ -12,8 +12,7 @@ int main(int numargs, char **argv) {
        solver->mustHaveValue(e1);
        solver->mustHaveValue(e2);
        
-       Set *domain[] = {s1, s2};
-       Predicate *equals = solver->createPredicateOperator(SATC_EQUALS, domain, 2);
+       Predicate *equals = solver->createPredicateOperator(SATC_EQUALS);
        Element *inputs[] = {e1, e2};
        BooleanEdge b = solver->applyPredicate(equals, inputs, 2);
        b = solver->applyLogicalOperation(SATC_NOT, b);