diff options
| -rw-r--r-- | src/proof/sat_proof_implementation.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h index bcc849906..eb4e04d13 100644 --- a/src/proof/sat_proof_implementation.h +++ b/src/proof/sat_proof_implementation.h @@ -728,8 +728,8 @@ void TSatProof<Solver>::registerResolution(ClauseId id, ResChain<Solver>* res) { ResChain<Solver>* current = (*d_resolutionChains.find(id)).second; delete current; } - if (d_resolutionChains.find(id) == d_resolutionChains.end()) - d_resolutionChains.insert(id, res); + + d_resolutionChains.insert(id, res); if (Debug.isOn("proof:sat")) { printRes(id); |