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);
                 }