From 3c3fdb81b1c7db03bd96279b38ee70a179ac0334 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Jul 2026 19:44:06 -0700 Subject: [PATCH] Fix verbose output in sat_cleaner --- src/sat/sat_cleaner.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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";); } };