diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index bb3fbcc1a..d9d68e721 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -2519,7 +2519,6 @@ bool theory_seq::occurs(expr* a, expr* b) {
         b = m_todo.back();
         if (a == b || m.is_ite(b)) {
             m_todo.reset();
-            std::cout << " yes\n";
             return true;
         }
         m_todo.pop_back();