From 69248e7ee22494ccefe0ce21fe4b834eb60df2e1 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sat, 13 Feb 2010 21:30:18 +0000
Subject: simplification minisat

---
 src/prop/sat.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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;
-- 
cgit v1.2.3