Minor

1 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/theory_engine_proof_generator.cpp b/src/theory/theory_engine_proof_generator.cpp
index c11378e04..75bae8916 100644
--- a/src/theory/theory_engine_proof_generator.cpp
+++ b/src/theory/theory_engine_proof_generator.cpp
@@ -32,14 +32,14 @@ theory::TrustNode TheoryEngineProofGenerator::mkTrustExplain(
   Assert(p.getKind() == IMPLIES && p.getNumChildren() == 2);
   // should not already be proven
   NodeLazyCDProofMap::iterator it = d_proofs.find(p);
-  if (it != d_proofs.end())
+  if (it == d_proofs.end())
   {
-    Assert(false);
+    // we will prove this
+    d_proofs.insert(p, lpf);
   }
   else
   {
-    // we will prove this
-    d_proofs.insert(p, lpf);
+    // Assert(false);
   }
   return trn;
 }