diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-02 14:07:36 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-02 14:07:36 -0800 |
commit | d4ab0ec58e5048c2654426bf6facbd211b24a9e9 (patch) | |
tree | 3a9652bf0d91c85fecdfd5faa53828023be689c1 | |
parent | 63c48227cd9d79d67d081b15ff238fba8c192d19 (diff) |
formatwshadow
-rw-r--r-- | src/proof/sat_proof_implementation.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h index 8d7ab6151..8c65d42e7 100644 --- a/src/proof/sat_proof_implementation.h +++ b/src/proof/sat_proof_implementation.h @@ -285,7 +285,8 @@ bool TSatProof<Solver>::checkResolution(ClauseId id) { typename Solver::TLit var = steps[i].lit; LitSet clause2; createLitSet(steps[i].id, clause2); - if (!resolve<Solver>(var, clause1, clause2, steps[i].sign)) { + if (!resolve<Solver>(var, clause1, clause2, steps[i].sign)) + { validRes = false; break; } |