From 4c62c8a0409f6c1e6a8f72ae485b3b2f549488ea Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 1 Jul 2025 11:41:46 -0700
Subject: [PATCH] remove a comment

---
 src/smt/smt_context_pp.cpp | 2 --
 1 file changed, 2 deletions(-)

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 {