From 97f7e6fac4ae5ab3e2a183a8338e9aa8fadebedb Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 24 Nov 2025 07:54:06 -1000
Subject: [PATCH] remove the debug print

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

diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp
index e6bbdad6e..4bbfde7e4 100644
--- a/src/nlsat/nlsat_explain.cpp
+++ b/src/nlsat/nlsat_explain.cpp
@@ -1799,7 +1799,6 @@ namespace nlsat {
                     }
                     result.shrink(base);
                     m_result = nullptr;
-                    std::cout << "switch\n";
                 }
             }
         }