remove redundant domains

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

diff --git a/src/Test/constraint.cc b/src/Test/constraint.cc
index b270524b70785ffc4ccbad6b0377e664d69a88f9..5c955520371ad24883b60c2d4d7c2de95d59b08c 100644 (file)
--- a/src/Test/constraint.cc
+++ b/src/Test/constraint.cc
@@ -6,8 +6,7 @@ int main(int numargs, char **argv) {
        Set *s = solver->createSet(1, elements, 2);
        Element *e1 = solver->getElementVar(s);
        Element *e2 = solver->getElementVar(s);
-       Set *sarray[] = {s, s};
-       Predicate *p = solver->createPredicateOperator(SATC_LT, sarray, 2);
+       Predicate *p = solver->createPredicateOperator(SATC_LT);
        Element *earray[] = {e1, e2};
        BooleanEdge be = solver->applyPredicate(p, earray, 2);
        solver->addConstraint(be);