diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-17 20:24:05 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-17 20:24:05 +0000 |
| commit | 68f8b6b2589320dac3a022a1e5058e5a65cc570b (patch) | |
| tree | d6085aa043291326543c44ca4403b4c21909a7b8 /src/theory | |
| parent | 5a05b2c0204384032ddced67f743f48d4004f9b7 (diff) | |
Adds debugging output to EngineOutputChannel::lemma.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/theory_engine.h | 2 |
1 files changed, 2 insertions, 0 deletions
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); } |