From 4b2e69c660453e3f19aae80216e88064ae2689ae Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Aug 2026 14:32:29 -0700 Subject: [PATCH] Remove stale monadic statistics declarations Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 2bcccba7-ac7d-476e-8dfe-718a21d37554 --- src/ast/rewriter/seq_monadic.h | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/ast/rewriter/seq_monadic.h b/src/ast/rewriter/seq_monadic.h index 9fa37c4cfa..e7bb0a14e2 100644 --- a/src/ast/rewriter/seq_monadic.h +++ b/src/ast/rewriter/seq_monadic.h @@ -113,7 +113,6 @@ private: unsigned m_budget = 0; // global work budget (decompose disjuncts + product pops) bool m_giveup = false; // set when the budget is exhausted config m_config; - statistics m_stats; obj_map m_model; // last extracted model (var -> witness); see get_model() cofactor_cache m_cofactors; // memoizes derivative_cofactors per regex (see class above) guard_set::cache m_rp_cache; // cofactor guard -> range predicate @@ -206,8 +205,6 @@ public: transition_mode mode() const { return m_config.m_mode; } - void collect_statistics(::statistics& st) const; - // Enable/disable model generation (default: enabled). When enabled, a successful // solve()/check() extracts a feasible model retrievable via get_model(). void set_gen_model(bool b) { m_config.m_model = b; }