From 276edc5ce82cb0f501a0158cc77f02a01a99cad7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Jul 2026 19:33:45 -0700 Subject: [PATCH] Update sat_asymm_branch.cpp --- src/sat/sat_asymm_branch.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp index 11a85b79e4..8a6ba3732c 100644 --- a/src/sat/sat_asymm_branch.cpp +++ b/src/sat/sat_asymm_branch.cpp @@ -68,9 +68,7 @@ namespace sat { if (num_learned > 0) verbose_stream() << " :elim-learned-literals " << num_learned; if (num_units > 0) verbose_stream() << " :units " << num_units; if (tr > 0) verbose_stream() << " :hte " << tr; - verbose_stream() << " :cost " << m_asymm_branch.m_counter; - verbose_stream() << mem_stat(); - verbose_stream() << m_watch << ")\n";); + verbose_stream() << " :cost " << m_asymm_branch.m_counter << ")\n";); } };