diff --git a/src/smt/smt_kernel.cpp b/src/smt/smt_kernel.cpp
index da7c8bcba..a0462ce0d 100644
--- a/src/smt/smt_kernel.cpp
+++ b/src/smt/smt_kernel.cpp
@@ -258,7 +258,7 @@ namespace smt {
     }
 
     void kernel::flush_statistics() {
-        std::cout << "[DEBUG] smt::kernel::flush_statistics() called\n";
+        IF_LOG(DEBUG, log() << "smt::kernel::flush_statistics() called\n";);
         m_imp->m_kernel.flush_statistics();
     }