From ca2ed449515c052c0075529f5d56c6fd0dfa53a1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Jul 2026 20:55:11 -0700 Subject: [PATCH] disable instantiation for inconsistent states Signed-off-by: Nikolaj Bjorner --- src/smt/qi_queue.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/qi_queue.cpp b/src/smt/qi_queue.cpp index d9520f721..7b19cf882 100644 --- a/src/smt/qi_queue.cpp +++ b/src/smt/qi_queue.cpp @@ -268,7 +268,7 @@ namespace smt { } if (m_on_binding && !m_on_binding(q, instance)) { - verbose_stream() << "qi_queue: on_binding returned false, skipping instance.\n"; + IF_VERBOSE(3, verbose_stream() << "qi_queue: on_binding returned false, skipping instance.\n";); return; } expr_ref lemma(m);