From 13dcfd26dd95a2d2cb1710dd42ff92e96370e0ed Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 25 Dec 2024 15:23:47 -0800
Subject: [PATCH] remove debug out

---
 src/ast/sls/sls_seq_plugin.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
index 2a5f05c10..9ed98d467 100644
--- a/src/ast/sls/sls_seq_plugin.cpp
+++ b/src/ast/sls/sls_seq_plugin.cpp
@@ -1734,7 +1734,6 @@ namespace sls {
         {
             zstring s1;
             if (ctx.is_true(e) && some_string_in_re(y, s1)) {
-                verbose_stream() << "some string in re " << " " << s1.length() << "\n";
                 m_str_updates.push_back({ x, s1, 1 });
                 return apply_update();
             }