edit

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index e225d0890c7b5df4511821a4f2d522ac99cd8fa8..fbf22da5bb7aa3f97284a69b5bbb72946e7c3cd6 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -7,7 +7,8 @@
 struct CSolver {
        SATEncoder *satEncoder;
        bool unsat;
-
+       Tuner *tuner;
+       
        /** This is a vector of constraints that must be satisfied. */
        HashSetBoolean *constraints;