From 9e9963d7657e6779545969414ecbb0e2c5ce2e16 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 27 Oct 2020 00:12:04 -0700 Subject: [PATCH] remove also second hash-table for ALIVE_OPT #4747 Signed-off-by: Nikolaj Bjorner --- src/smt/qi_queue.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/smt/qi_queue.cpp b/src/smt/qi_queue.cpp index d53a6dd9b..8cc9429a8 100644 --- a/src/smt/qi_queue.cpp +++ b/src/smt/qi_queue.cpp @@ -203,12 +203,7 @@ namespace smt { enode * const * bindings = f->get_args(); ent.m_instantiated = true; - - std::cout << mk_pp(q, m) << "\n"; - for (unsigned i = 0; i < num_bindings; ++i) - std::cout << mk_pp(bindings[i]->get_owner(), m) << " "; - std::cout << "\n"; - + TRACE("qi_queue_profile", tout << q->get_qid() << ", gen: " << generation << " " << *f << " cost: " << ent.m_cost << "\n";); quantifier_stat * stat = m_qm.get_stat(q);