simplification minisat

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 9375e37ecfa55dfc3c7df4689e9478d0eb144580..350537d8f218b712282a231cb6f3c58bbd8317ae 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -23,12 +23,13 @@
 #include "util/options.h"
 #include "prop/minisat/core/Solver.h"
 #include "prop/minisat/core/SolverTypes.h"
+#include "prop/minisat/simp/SimpSolver.h"
 
 namespace CVC4 {
 namespace prop {
 
 /** The solver we are using */
-typedef minisat::Solver SatSolver;
+typedef minisat::SimpSolver SatSolver;
 
 /** Type of the SAT variables */
 typedef minisat::Var SatVariable;