small warnings.

2014-11-25 16:42:35 +00:00
parent 50659967ed
commit 2be225c17a
12 changed files with 34 additions and 18 deletions
--- a/packages/swi-minisat2/C/Solver.C
+++ b/packages/swi-minisat2/C/Solver.C
@@ -580,7 +580,7 @@ lbool Solver::search(int nof_conflicts, int nof_learnts)

    starts++;

-    bool first = true;
+    // bool first = true;

    for (;;){
        Clause* confl = propagate();
@@ -589,7 +589,7 @@ lbool Solver::search(int nof_conflicts, int nof_learnts)
            conflicts++; conflictC++;
            if (decisionLevel() == 0) return l_False;

-            first = false;
+	    //            first = false;

            learnt_clause.clear();
            analyze(confl, learnt_clause, backtrack_level);