From 7415a23edde7cc115fea19e8084ec15baa01c311 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <noetzli@stanford.edu>
Date: Mon, 7 Aug 2017 18:16:02 -0700
Subject: [PATCH] Fix compiler warning in sat_proof_implementation

---
 src/proof/sat_proof_implementation.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h
index c115bab4a..daf98ceea 100644
--- 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);
-- 
2.30.2