From f7afe8e025fd0b0d211ef266e2a190fb67d7c5b8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 12 Jul 2026 16:41:05 -0700 Subject: [PATCH] tout -> out Signed-off-by: Nikolaj Bjorner --- src/smt/theory_array_base.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/smt/theory_array_base.cpp b/src/smt/theory_array_base.cpp index fa4e147620..d5b7ff55bd 100644 --- a/src/smt/theory_array_base.cpp +++ b/src/smt/theory_array_base.cpp @@ -820,11 +820,11 @@ namespace smt { std::ostream& theory_array_base::display_selects(std::ostream& out) { for (auto [r, s] : m_selects) { - tout << enode_pp(r, ctx) << ":\n"; + out << enode_pp(r, ctx) << ":\n"; for (auto sel : *s) - tout << " " << enode_pp(sel, ctx) << " " + out << " " << enode_pp(sel, ctx) << " " << enode_pp(sel->get_root(), ctx) << "\n"; - tout << "\n"; + out << "\n"; } return out; }