From 1b5f7cd9e51dc6a9d5e8412b291ac73ca65aa374 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 15 Jan 2022 10:05:26 -0800 Subject: [PATCH] na --- src/sat/smt/q_ematch.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/sat/smt/q_ematch.cpp b/src/sat/smt/q_ematch.cpp index 495912f11..6e358a257 100644 --- a/src/sat/smt/q_ematch.cpp +++ b/src/sat/smt/q_ematch.cpp @@ -123,7 +123,6 @@ namespace q { ctx.add_diseq_antecedent(m_explain, a, b); } ctx.get_egraph().end_explain(); - std::cout << "exp size " << m_explain.size() << "\n"; size_t** ev = static_cast(ctx.get_region().allocate(sizeof(size_t*) * m_explain.size())); for (unsigned i = m_explain.size(); i-- > 0; )