diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp index 3a1cb69f0..59385b6d0 100644 --- a/src/smt/smt_context_pp.cpp +++ b/src/smt/smt_context_pp.cpp @@ -445,8 +445,6 @@ namespace smt { th->collect_statistics(st); } } - // If theory stats were already aggregated by flush_statistics(), they are already in m_aux_stats - // which was copied to st above via st.copy(m_aux_stats) } void context::display_statistics(std::ostream & out) const {