From 80154c23a16b43b67723781a4b6268e684a4b307 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 2 Apr 2011 04:24:17 +0000 Subject: minor fixes --- src/prop/cnf_stream.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/prop') 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: -- cgit v1.2.3