From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 2 Apr 2011 04:24:17 +0000 (+0000)
Subject: minor fixes
X-Git-Tag: cvc5-1.0.0~8620
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=80154c23a16b43b67723781a4b6268e684a4b307;p=cvc5.git

minor fixes
---

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:
diff --git a/src/util/stats.h b/src/util/stats.h
index 526d70681..882cc1f81 100644
--- a/src/util/stats.h
+++ b/src/util/stats.h
@@ -42,7 +42,7 @@ namespace CVC4 {
 #  define __CVC4_USE_STATISTICS false
 #endif
 
-class CVC4_PUBLIC ExprManager;
+class ExprManager;
 
 class CVC4_PUBLIC Stat;