mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-15 03:25:43 +00:00
Code Activity

tout -> out

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-07-12 16:41:05 -07:00
parent bcc176fc47
commit f7afe8e025
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/smt/theory_array_base.cpp
View file

@ -820,11 +820,11 @@ namespace smt {
std::ostream& theory_array_base::display_selects(std::ostream& out) { std::ostream& theory_array_base::display_selects(std::ostream& out) {
for (auto [r, s] : m_selects) { for (auto [r, s] : m_selects) {
tout << enode_pp(r, ctx) << ":\n"; out << enode_pp(r, ctx) << ":\n";
for (auto sel : *s) for (auto sel : *s)
tout << " " << enode_pp(sel, ctx) << " " out << " " << enode_pp(sel, ctx) << " "
<< enode_pp(sel->get_root(), ctx) << "\n"; << enode_pp(sel->get_root(), ctx) << "\n";
tout << "\n"; out << "\n";
} }
return out; return out;
} }