From c0fbca4f41c228f6e42817236faa1581e0de8a44 Mon Sep 17 00:00:00 2001
From: Margus Veanes <margus@microsoft.com>
Date: Sat, 4 Jul 2026 08:01:09 +0300
Subject: [PATCH] theory_nseq: drop stray std::cout debug print in
 check_length_coherence

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 src/smt/theory_nseq.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_nseq.cpp b/src/smt/theory_nseq.cpp
index 2bdfe67dd5..81de182037 100644
--- a/src/smt/theory_nseq.cpp
+++ b/src/smt/theory_nseq.cpp
@@ -2101,7 +2101,6 @@ namespace smt {
                 literal_vector dep_lits;
 
                 for (unsigned idx : mem_indices) {
-                    std::cout << seq::mem_pp(mems[idx]) << std::endl;
                     seq::deps_to_lits(m_nielsen.dep_mgr(), mems[idx].m_dep, eqs, dep_lits);
                 }