Adding a boolean for undefinedStatus

[satune.git] / src / csolver.c

diff --git a/src/csolver.c b/src/csolver.c
index 55ac2307d6a7ffb524e1074ce10d53f6585a5738..2f3210d5f2036b179c25e4718cc84661f1b0d16b 100644 (file)
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -164,8 +164,8 @@ Element * applyFunction(CSolver *This, Function * function, Element ** array, ui
        return element;
 }
 
-Boolean * applyPredicate(CSolver *This, Predicate * predicate, Element ** inputs, uint numInputs) {
-       Boolean* boolean= allocBooleanPredicate(predicate, inputs, numInputs);
+Boolean * applyPredicate(CSolver *This, Predicate * predicate, Element ** inputs, uint numInputs, Boolean* undefinedStatus) {
+       Boolean* boolean= allocBooleanPredicate(predicate, inputs, numInputs, undefinedStatus);
        pushVectorBoolean(This->allBooleans, boolean);
        return boolean;
 }