X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcsolver.c;h=2f3210d5f2036b179c25e4718cc84661f1b0d16b;hb=51284423bbf2892559139c683c7df54d4fdf5e29;hp=55ac2307d6a7ffb524e1074ce10d53f6585a5738;hpb=eb8bfa610f09bc0c4ad37eb0ee2e6685ea7e6507;p=satune.git

diff --git a/src/csolver.c b/src/csolver.c
index 55ac230..2f3210d 100644
--- 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;
 }