From 411fef05d48f99d28e270702a14618057d9de144 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 16 Jun 2025 20:02:12 -0700
Subject: [PATCH] remove debug output

---
 src/nlsat/nlsat_solver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 16a34f408..d5a5018b8 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -4218,7 +4218,6 @@ namespace nlsat {
         for (bool_var b = 0; b < vs.size(); ++b) {
             if (vs[b] != l_undef) {
                 TRACE(nlsat_assign, tout << "setting bool values " << b << "\n";);
-                std::cout << "set bvalues " << b << " to " << vs[b] << "\n";
                 m_imp->m_bvalues[b] = vs[b];
                 SASSERT(!m_imp->m_atoms[b]);
             }