diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index c7f39b130..6d1d4b2cc 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -799,7 +799,6 @@ namespace nlsat {
         public:
             scoped_bool_vars(imp& s):s(s) {}
             ~scoped_bool_vars() {
-                std::cout << "scoped del: " << vec << "\n";
                 for (bool_var v : vec) {
                     s.dec_ref(v);
                 }