From 98e1c86128019874d313d22742fd0a928a4c151c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 1 May 2022 21:06:54 +0200
Subject: [PATCH] na

---
 src/opt/opt_cores.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/opt/opt_cores.cpp b/src/opt/opt_cores.cpp
index d9afe8757..83cca8d5a 100644
--- a/src/opt/opt_cores.cpp
+++ b/src/opt/opt_cores.cpp
@@ -370,7 +370,6 @@ namespace opt {
     }
 
     void cores::updt_params(params_ref& _p) {
-        std::cout << _p << "\n";
         opt_params p(_p);
         m_hill_climb =         p.maxres_hill_climb();
         m_max_num_cores =      p.maxres_max_num_cores();