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