mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-29 07:27:57 +00:00
Code Activity

remove a comment

Browse source
This commit is contained in:
Lev Nachmanson 2025-07-01 11:41:46 -07:00
parent 6553f31e15
commit 4c62c8a040
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_context_pp.cpp
View file

@ -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 {