From c49f35835bd90e716ef0377f825562d850524566 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 21 Oct 2014 20:20:22 -0700 Subject: Compiler problems. --- src/sat/bsat2/Solver.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/sat/bsat2/Solver.cpp b/src/sat/bsat2/Solver.cpp index f868fd9f..451beed8 100644 --- a/src/sat/bsat2/Solver.cpp +++ b/src/sat/bsat2/Solver.cpp @@ -839,8 +839,8 @@ void Solver::toDimacs(FILE* f, const vec& assumps) // Cannot use removeClauses here because it is not safe // to deallocate them at this point. Could be improved. - int cnt = 0; - for (int i = 0; i < clauses.size(); i++) + int i, cnt = 0; + for (i = 0; i < clauses.size(); i++) if (!satisfied(ca[clauses[i]])) cnt++; @@ -890,7 +890,8 @@ void Solver::relocAll(ClauseAllocator& to) // All reasons: // - for (int i = 0; i < trail.size(); i++){ + int i; + for (i = 0; i < trail.size(); i++){ Var v = var(trail[i]); if (reason(v) != CRef_Undef && (ca[reason(v)].reloced() || locked(ca[reason(v)]))) -- cgit v1.2.3