From acd6f1d0ef8dc82096555002894d8efeb3eaa730 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 5 Sep 2024 14:58:29 -0700
Subject: [PATCH] Remove commented verbose output in sls_bv_plugin.cpp during
 repair process

---
 src/ast/sls/sls_bv_plugin.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/sls/sls_bv_plugin.cpp b/src/ast/sls/sls_bv_plugin.cpp
index 4dd399548..57ff28b8a 100644
--- a/src/ast/sls/sls_bv_plugin.cpp
+++ b/src/ast/sls/sls_bv_plugin.cpp
@@ -166,10 +166,8 @@ namespace sls {
         else if (bv.is_bv(e)) {
             log(e, true, false);
             IF_VERBOSE(5, verbose_stream() << "repair-up "; trace_repair(true, e)); 
-            //verbose_stream() << "set random " << m_eval.wval(e) << " --> ";
             auto& v = m_eval.wval(e);
             m_eval.set_random(e);
-            //verbose_stream() << m_eval.wval(e) << "\n";
             ctx.new_value_eh(e);
         }
         else