From 19fa481771fc2ef35869930245075b42238f66dc Mon Sep 17 00:00:00 2001
From: Guy <katz911@gmail.com>
Date: Sun, 24 Jul 2016 23:24:40 -0700
Subject: [PATCH] cleanup

---
 src/theory/theory_engine.cpp | 1 -
 1 file changed, 1 deletion(-)

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;
 }
 
-- 
2.30.2