From dde0c514fa0105dacea55ce5a9bb01b6e0638952 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 15 Apr 2020 17:14:25 -0700 Subject: [PATCH] warnings Signed-off-by: Nikolaj Bjorner --- src/smt/theory_recfun.cpp | 2 +- src/smt/theory_utvpi_def.h | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/smt/theory_recfun.cpp b/src/smt/theory_recfun.cpp index e575d766f43..ddc78a0c1ed 100644 --- a/src/smt/theory_recfun.cpp +++ b/src/smt/theory_recfun.cpp @@ -34,8 +34,8 @@ namespace smt { m_plugin(*reinterpret_cast(m.get_plugin(get_family_id()))), m_util(m_plugin.u()), m_disabled_guards(m), - m_preds(m), m_enabled_guards(m), + m_preds(m), m_num_rounds(0), m_q_case_expand(), m_q_body_expand() { diff --git a/src/smt/theory_utvpi_def.h b/src/smt/theory_utvpi_def.h index 109439975ab..0276ae3a51d 100644 --- a/src/smt/theory_utvpi_def.h +++ b/src/smt/theory_utvpi_def.h @@ -507,7 +507,6 @@ namespace smt { while (consistent && can_propagate()) { unsigned idx = m_asserted_atoms[m_asserted_qhead]; m_asserted_qhead++; - std::cout << "propagate atom " << idx << "\n"; consistent = propagate_atom(m_atoms[idx]); } }