remove debug out

Z3Prover · Dec 25, 2024 · 13dcfd2 · 13dcfd2
1 parent c9cae77
commit 13dcfd2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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();
             }