minor fixes

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index 4253fafa3d87276d665490eb0a7ba8b097113b0f..e278c81753bfffaaaa42ec12342068073b211c5a 100644 (file)
--- 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 526d706810328146b394a14c78a8c35e910980f4..882cc1f81d112e34565b615c5318e2266749787b 100644 (file)
--- 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;