From: Tim King <taking@cs.nyu.edu>
Date: Thu, 17 Mar 2011 20:24:05 +0000 (+0000)
Subject: Adds debugging output to EngineOutputChannel::lemma.
X-Git-Tag: cvc5-1.0.0~8650
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=68f8b6b2589320dac3a022a1e5058e5a65cc570b;p=cvc5.git

Adds debugging output to EngineOutputChannel::lemma.
---

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