1 files changed, 3 insertions, 2 deletions
diff --git a/src/util/unsat_core.h b/src/util/unsat_core.h
index 8f497688a..644f56509 100644
--- a/src/util/unsat_core.h
+++ b/src/util/unsat_core.h
@@ -23,7 +23,6 @@
 #include <iostream>
 #include <vector>
 #include "expr/expr.h"
-#include "util/output.h"
 
 namespace CVC4 {
 
@@ -40,12 +39,14 @@ class CVC4_PUBLIC UnsatCore {
 
   std::vector<Expr> d_core;
 
+  void initMessage() const;
+
 public:
   UnsatCore() : d_smt(NULL) {}
 
   template <class T>
   UnsatCore(SmtEngine* smt, T begin, T end) : d_smt(smt), d_core(begin, end) {
-    Debug("core") << "UnsatCore size " << d_core.size() << std::endl;
+    initMessage();
   }
 
   ~UnsatCore() {}