From c46f66e6e50506f5e9c10df3dcb6db5affc45c78 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 16 Aug 2013 17:07:22 -0400 Subject: [PATCH] Fix sat_proof "parentheses into the void" after conferring with Liana. --- src/proof/sat_proof.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- 2.30.2