diff --git a/src/sat/sat_cleaner.cpp b/src/sat/sat_cleaner.cpp
index c8cafdc631..97abf11be5 100644
--- a/src/sat/sat_cleaner.cpp
+++ b/src/sat/sat_cleaner.cpp
@@ -166,7 +166,7 @@ namespace sat {
                        verbose_stream() << " (sat-cleaner";
                        verbose_stream() << " :elim-literals " << (m_cleaner.m_elim_literals - m_elim_literals);
                        verbose_stream() << " :elim-clauses " << (m_cleaner.m_elim_clauses - m_elim_clauses);
-                       verbose_stream() << " :cost " << m_cleaner.m_cleanup_counter << ")\n";);
+                       verbose_stream() << " :cost " << m_cleaner.m_cleanup_counter << m_watch << ")\n";);
         }
     };