diff --git a/src/sat/sat_simplifier.cpp b/src/sat/sat_simplifier.cpp
index 8b753fb67..007751220 100644
--- a/src/sat/sat_simplifier.cpp
+++ b/src/sat/sat_simplifier.cpp
@@ -149,7 +149,6 @@ namespace sat {
     }
 
     void simplifier::operator()(bool learned) {
-        std::cout << s.rlimit().count() << "\n";
         if (s.inconsistent())
             return;
         if (!m_subsumption && !m_elim_blocked_clauses && !m_resolution)