cleanup

1 files changed, 0 insertions, 1 deletions

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 0aaf602e3..98eb81755 100644
--- 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;
 }