Adds debugging output to EngineOutputChannel::lemma.

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 4b37d4dd615a01c724f9c8840093f038243dc571..7553b1f0cfdc1c83ff72c8c05d444bf3b23a6e5b 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -109,6 +109,8 @@ class TheoryEngine {
 
     void lemma(TNode node, bool)
       throw(theory::Interrupted, AssertionException) {
+      Debug("theory") << "EngineOutputChannel::lemma("
+                      << node << ")" << std::endl;
       ++(d_engine->d_statistics.d_statLemma);
       d_engine->newLemma(node);
     }