cleanup

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 0aaf602e3b35164202d7280bda6f2437210d75e4..98eb81755b546e14520718b1534383074f08fa2d 100644 (file)
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -93,7 +93,6 @@ theory::LemmaStatus TheoryEngine::EngineOutputChannel::lemma(TNode lemma,
                                                removable,
                                                preprocess,
                                                sendAtoms ? d_theory : theory::THEORY_LAST);
-  // PROOF(delete proofRecipe;);
   return result;
 }