Adding a boolean for undefinedStatus

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

diff --git a/src/Test/elemequalityunsattest.c b/src/Test/elemequalityunsattest.c
index 1b6addb9fa2806f69a9d96ac34e110379277f900..e433bf729531a4663ca1327f5bf3ad35768d1fb0 100644 (file)
--- a/src/Test/elemequalityunsattest.c
+++ b/src/Test/elemequalityunsattest.c
@@ -11,7 +11,7 @@ int main(int numargs, char ** argv) {
        Set * domain[]={s1, s2};
        Predicate *equals=createPredicateOperator(solver, EQUALS, domain, 2);
        Element * inputs[]={e1, e2};
-       Boolean *b=applyPredicate(solver, equals, inputs, 2);
+       Boolean *b=applyPredicate(solver, equals, inputs, 2, NULL);
        addConstraint(solver, b);
        
        if (startEncoding(solver)==1)