Fix compiler warning in sat_proof_implementation

diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h
index c115bab4a537c0a5f6e44194b3127a70b08cc1dc..daf98ceea07fbdc7c45ac52f9efcff92abee8e2c 100644 (file)
--- a/src/proof/sat_proof_implementation.h
+++ b/src/proof/sat_proof_implementation.h
@@ -903,7 +903,7 @@ void TSatProof<Solver>::finalizeProof(typename Solver::TCRef conflict_ref) {
   ResChain<Solver>* res = new ResChain<Solver>(conflict_id);
   // Here, the call to resolveUnit() can reallocate memory in the
   // clause allocator.  So reload conflict ptr each time.
-  for (size_t i = 0; i < getClause(conflict_ref).size(); ++i) {
+  for (int i = 0; i < getClause(conflict_ref).size(); ++i) {
     const typename Solver::TClause& conflict = getClause(conflict_ref);
     typename Solver::TLit lit = conflict[i];
     ClauseId res_id = resolveUnit(~lit);