Check in bug fix

[satune.git] / src / csolver.c

diff --git a/src/csolver.c b/src/csolver.c
index f9f1e1bd534e662975a9f1eae625a74a88228ace..3d062e4733af1df10eb3285848d7b34da39926ef 100644 (file)
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -174,7 +174,7 @@ Boolean * orderConstraint(CSolver *This, Order * order, uint64_t first, uint64_t
        return constraint;
 }
 
-void startEncoding(CSolver* This){
+int startEncoding(CSolver* This){
        naiveEncodingDecision(This);
        SATEncoder* satEncoder = This->satEncoder;
        encodeAllSATEncoder(This, satEncoder);
@@ -184,6 +184,7 @@ void startEncoding(CSolver* This){
                model_print("%d, ", satEncoder->cnf->solver->solution[i]);
        }
        model_print("\n");
+       return result;
 }
 
 uint64_t getElementValue(CSolver* This, Element* element){