From 82dee3032f934229ab47e15a57e8fa24c6e1a6e4 Mon Sep 17 00:00:00 2001
From: Ilana Shapiro <ishapiro00@gmail.com>
Date: Thu, 30 Oct 2025 22:29:06 -0700
Subject: [PATCH] remove the getter for solver statistics since we're getting
 the vals directly from the context

---
 src/util/statistics.cpp | 15 ---------------
 src/util/statistics.h   |  1 -
 2 files changed, 16 deletions(-)

diff --git a/src/util/statistics.cpp b/src/util/statistics.cpp
index a878afd08..632a7f750 100644
--- a/src/util/statistics.cpp
+++ b/src/util/statistics.cpp
@@ -81,21 +81,6 @@ struct str_lt {
 typedef map<char const *, unsigned, str_hash_proc, str_eq_proc> key2val;
 typedef map<char const *, double, str_hash_proc, str_eq_proc> key2dval;
 
-double statistics::get_val(char const * key) const {
-    key2val m_u;
-    key2dval m_d;
-    mk_map(m_stats, m_u);
-    mk_map(m_d_stats, m_d);
-
-    unsigned val = 0;
-    double dval = 0.0;
-    if (m_u.find(key, val))
-        return static_cast<double>(val);
-    if (m_d.find(key, dval))
-        return dval;
-    return 0.0;
-}
-
 unsigned get_max_len(ptr_buffer<char> & keys) {
     unsigned max = 0;
     for (unsigned i = 0; i < static_cast<unsigned>(keys.size()); i++) {
diff --git a/src/util/statistics.h b/src/util/statistics.h
index 1a0bfb897..32d6bac9f 100644
--- a/src/util/statistics.h
+++ b/src/util/statistics.h
@@ -40,7 +40,6 @@ public:
     char const * get_key(unsigned idx) const;
     unsigned get_uint_value(unsigned idx) const;
     double get_double_value(unsigned idx) const;
-    double get_val(char const * key) const;
 };
 
 inline std::ostream& operator<<(std::ostream& out, statistics const& st) { return st.display(out); }