From b3d41163f324d81cbf8a71da5f8bcdc3717a236b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 10 Mar 2020 13:17:44 -0700
Subject: [PATCH] remove spurious print to stdout in check-lemmas #3232

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 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);
                 }