diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-08-16 17:07:22 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-13 19:21:13 -0400 |
| commit | c46f66e6e50506f5e9c10df3dcb6db5affc45c78 (patch) | |
| tree | 2d66d0e5ddd616c298a23d07c0e40e178fee0cf1 /src/proof | |
| parent | 24b4ca565400d64b82626484044f72fd024477cd (diff) | |
Fix sat_proof "parentheses into the void" after conferring with Liana.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/sat_proof.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/sat_proof.cpp b/src/proof/sat_proof.cpp index 82478464f..d9b57f87e 100644 --- a/src/proof/sat_proof.cpp +++ b/src/proof/sat_proof.cpp @@ -595,7 +595,7 @@ void SatProof::markDeleted(CRef clause) { /// store mapping from theory atoms to new variables void SatProof::storeAtom(::Minisat::Lit literal, Expr atom) { - (d_atomToVar.find(atom) == d_atomToVar.end()); + Assert(d_atomToVar.find(atom) == d_atomToVar.end()); d_atomToVar[atom] = literal; } |