From dba96704116649eccac6eedf3e0ec8a15dd5f0bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 29 Aug 2024 17:15:28 -0700
Subject: [PATCH] Remove m_num_pelis member from stats struct in sls_context

---
 src/ast/sls/sls_context.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/sls/sls_context.h b/src/ast/sls/sls_context.h
index 78dd7d49f..0b8ded614 100644
--- a/src/ast/sls/sls_context.h
+++ b/src/ast/sls/sls_context.h
@@ -97,7 +97,6 @@ namespace sls {
         struct stats {
             unsigned m_num_repair_down = 0;
             unsigned m_num_repair_up = 0;
-            unsigned m_num_pelis = 0;
             void reset() { memset(this, 0, sizeof(*this)); }
         };