Bug fix

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

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index 11a315c8ddaeda1f2ca1f9e53f4b2e3e92702397..74b456963a87e6c73c96f82b0f305d10965ed84e 100644 (file)
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -7,14 +7,11 @@
  */
 int main(int numargs, char **argv) {
        CSolver *solver = new CSolver();
-       uint64_t set1[] = {5};
        uint64_t set3[] = {1, 3, 4, 6};
-       Set *s1 = solver->createSet(0, set1, 1);
        Set *s3 = solver->createSet(0, set3, 4);
        Element *e1 = solver->getElementConst(4, 5);
        Element *e2 = solver->getElementVar(s3);
-       Set *domain2[] = {s1, s3};
-       Predicate *lt = solver->createPredicateOperator(SATC_LT, domain2, 2);
+       Predicate *lt = solver->createPredicateOperator(SATC_LT);
        Element *inputs2[] = {e1, e2};
        BooleanEdge b = solver->applyPredicate(lt, inputs2, 2);
        solver->addConstraint(b);