From c985e17d1f62597924a3e12a2a5e54df41e089e4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 8 Dec 2011 15:06:26 -0800 Subject: Proof-logging in the updated solver. --- src/sat/bsat/satSolver.c | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/sat/bsat/satSolver.c') diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 8b6468b2..c448d8c3 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -805,7 +805,6 @@ static void sat_solver_analyze(sat_solver* s, clause* c, veci* learnt) } // update size of learnt + statistics - s->stats.max_literals += veci_size(learnt); veci_resize(learnt,j); s->stats.tot_literals += j; @@ -1150,7 +1149,6 @@ sat_solver* sat_solver_new(void) s->stats.clauses_literals = 0; s->stats.learnts = 0; s->stats.learnts_literals = 0; - s->stats.max_literals = 0; s->stats.tot_literals = 0; #ifdef SAT_USE_SYSTEM_MEMORY_MANAGEMENT -- cgit v1.2.3