diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 9d26b10dc..5d3cc3231 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -3400,7 +3400,6 @@ bool theory_seq::solve_ne(unsigned idx) {
 
             dependency* deps1 = nullptr;
             if (explain_eq(n.l(), n.r(), deps1)) {
-                std::cout << "updated explain\n";
                 literal diseq = mk_eq(n.l(), n.r(), false);
                 if (ctx.get_assignment(diseq) == l_false) {
                     new_lits.reset();