Rename startEncoding function

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

diff --git a/src/Test/funcencodingtest.cc b/src/Test/funcencodingtest.cc
index d6a796200d7dc30fee4e8eeafa4d231ac902a3a1..87315f509faa9f4d30e7ee61bea47bf1c9e43c45 100644 (file)
--- a/src/Test/funcencodingtest.cc
+++ b/src/Test/funcencodingtest.cc
@@ -73,7 +73,7 @@ int main(int numargs, char **argv) {
        Boolean *pred = solver->applyPredicate(gt, inputs2, 2);
        solver->addConstraint(pred);
 
-       if (solver->startEncoding() == 1)
+       if (solver->solve() == 1)
                printf("e1=%" PRIu64 " e2=%" PRIu64 " e7=%" PRIu64 "\n",
                                         solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e7));
        else