diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-02 04:24:17 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-02 04:24:17 +0000 |
| commit | 80154c23a16b43b67723781a4b6268e684a4b307 (patch) | |
| tree | 79fbb46d190215f8b813e0dc4608f2b9c6db34ed /src/prop/cnf_stream.cpp | |
| parent | 3b50c1d3c0c72c0a2e07dabf8206c62b0dd6803d (diff) | |
minor fixes
Diffstat (limited to 'src/prop/cnf_stream.cpp')
| -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: |