diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2017-08-07 18:16:02 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2017-08-09 00:58:38 -0700 |
| commit | 7415a23edde7cc115fea19e8084ec15baa01c311 (patch) | |
| tree | 6e4cd8bcfa177aa620e8acc6ff23d144fab95341 /src/proof | |
| parent | 090093bb54af936c79109bbfd162028fd896139e (diff) | |
Fix compiler warning in sat_proof_implementation
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/sat_proof_implementation.h | 2 |
1 files changed, 1 insertions, 1 deletions
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); |