From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sat, 13 Feb 2010 21:30:18 +0000 (+0000)
Subject: simplification minisat
X-Git-Tag: cvc5-1.0.0~9254
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69248e7ee22494ccefe0ce21fe4b834eb60df2e1;p=cvc5.git

simplification minisat
---

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 9375e37ec..350537d8f 100644
--- 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;