More tuner framework code

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index c83f4b942644bbd3c063e848688265e3adf2eae7..eecbaf3267379f38df5d6e2a4f14de511a686bd1 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -245,5 +245,6 @@ long long CSolver::getSolveTime() { return satEncoder->getSolveTime(); }
 
 void CSolver::autoTune() {
        AutoTuner * autotuner=new AutoTuner();
-       autotuner->tune(this);
+       autotuner->addProblem(this);
+       autotuner->tune();
 }