From fdb7f33552479a975a5920ad4056af94aca6f69d Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Fri, 20 Mar 2026 12:20:16 +0100
Subject: [PATCH] ... one more

---
 src/smt/seq/seq_nielsen.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index 7f6cfa3f5..bbfb2bfd2 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -3715,7 +3715,7 @@ namespace seq {
             VERIFY(!minterms.empty());
 
             bool created = false;
-            std::cout << "Considering regex: " << mk_pp(mem.m_regex->get_expr(), m_sg.get_manager()) << std::endl;
+            // std::cout << "Considering regex: " << mk_pp(mem.m_regex->get_expr(), m_sg.get_manager()) << std::endl;
 
             // Branch 1: x → ε (progress)
             {