From 68f8b6b2589320dac3a022a1e5058e5a65cc570b Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Mar 2011 20:24:05 +0000
Subject: [PATCH] Adds debugging output to EngineOutputChannel::lemma.

---
 src/theory/theory_engine.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 4b37d4dd6..7553b1f0c 100644
--- 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);
     }
-- 
2.30.2