From dece18a60a4363fc97b856989efa4bae2e1da36f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Jul 2026 19:34:58 -0700 Subject: [PATCH] Fix verbose output in sat_cleaner.cpp --- 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 97abf11be5..c8cafdc631 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 << m_watch << ")\n";); + verbose_stream() << " :cost " << m_cleaner.m_cleanup_counter << ")\n";); } };