From 6553f31e153d570f84b0aa56e4d49b72d9fcf505 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <5377127+levnach@users.noreply.github.com>
Date: Tue, 1 Jul 2025 11:36:17 -0700
Subject: [PATCH] Update src/smt/smt_kernel.cpp

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
---
 src/smt/smt_kernel.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
     }