Fix sat_proof "parentheses into the void" after conferring with Liana.

diff --git a/src/proof/sat_proof.cpp b/src/proof/sat_proof.cpp
index 82478464f769eba4daf26fd3caacbd16df854598..d9b57f87ec71dcc9b00f0288df16901932bef97e 100644 (file)
--- 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; 
 }