diff options
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 4253fafa3..e278c8175 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -569,7 +569,7 @@ void TseitinCnfStream::convertAndAssertIte(TNode node, bool lemma, bool negated) // not unit, except for the direct assertions. This allows us to remove the // clauses later when they are not needed anymore (lemmas for example). void TseitinCnfStream::convertAndAssert(TNode node, bool lemma, bool negated) { - Debug("cnf") << "convertAndAssert(" << node << ", negated = " << (negated ? "true" : "false") << ")" << endl; + Debug("cnf") << "convertAndAssert(" << node << ", lemma = " << lemma << ", negated = " << (negated ? "true" : "false") << ")" << endl; d_assertingLemma = lemma; switch(node.getKind()) { case AND: |