diff options
author | Guy <katz911@gmail.com> | 2016-07-24 23:24:40 -0700 |
---|---|---|
committer | Guy <katz911@gmail.com> | 2016-07-24 23:24:40 -0700 |
commit | 19fa481771fc2ef35869930245075b42238f66dc (patch) | |
tree | 9c5fa2e0a1b23b394023c03647e1bb3fd29320b6 | |
parent | 1aa6f7798ff47c3a6af665adb95a6d5266f3c34b (diff) |
cleanup
-rw-r--r-- | src/theory/theory_engine.cpp | 1 |
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; } |