From 8c7525c97fb5cd1d77cc0ce9b023eb51d8605f13 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 7 Jul 2023 09:29:38 -0700 Subject: [PATCH] revert log addition Signed-off-by: Nikolaj Bjorner --- src/smt/qi_queue.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/smt/qi_queue.cpp b/src/smt/qi_queue.cpp index ca83c68c8..52399abb6 100644 --- a/src/smt/qi_queue.cpp +++ b/src/smt/qi_queue.cpp @@ -399,7 +399,6 @@ namespace smt { TRACE("qi_queue", display_delayed_instances_stats(tout); tout << "lazy threshold: " << m_params.m_qi_lazy_threshold << ", scope_level: " << m_context.get_scope_level() << "\n";); - verbose_stream() << "delayed entries " << m_delayed_entries.size() << "\n"; if (m_params.m_qi_conservative_final_check) { bool init = false; float min_cost = 0.0;