From 314e777887f32c8cf656dbc56f370da6dd0bf76e Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 20 Aug 2010 18:23:53 +0000
Subject: updating the minisat restart parameters after running some
 experiments

---
 src/prop/sat.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/prop/sat.h')

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 8581cd9a0..7229b3565 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -233,8 +233,6 @@ inline SatSolver::SatSolver(PropEngine* propEngine, TheoryEngine* theoryEngine,
   d_minisat = new Minisat::SimpSolver(this, d_context);
   // Setup the verbosity
   d_minisat->verbosity = (options->verbosity > 0) ? 1 : -1;
-  // Do not delete the satisfied clauses, just the learnt ones
-  d_minisat->remove_satisfied = false;
 
   // No random choices
   if(Debug.isOn("no_rnd_decisions")){
-- 
cgit v1.2.3