diff --git a/src/sat/smt/q_ematch.cpp b/src/sat/smt/q_ematch.cpp
index 495912f11..6e358a257 100644
--- a/src/sat/smt/q_ematch.cpp
+++ b/src/sat/smt/q_ematch.cpp
@@ -123,7 +123,6 @@ namespace q {
                 ctx.add_diseq_antecedent(m_explain, a, b);
         }
         ctx.get_egraph().end_explain();
-        std::cout << "exp size " << m_explain.size() << "\n";
 
         size_t** ev = static_cast<size_t**>(ctx.get_region().allocate(sizeof(size_t*) * m_explain.size()));
         for (unsigned i = m_explain.size(); i-- > 0; )