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";
                 }
             }
         }