From 6312ab2184ea482efdf9e4ac0e2064c178b2f7e1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 29 Aug 2024 15:29:42 -0700
Subject: [PATCH] Add m_num_pelis counter to stats in sls_context

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

diff --git a/src/ast/sls/sls_context.h b/src/ast/sls/sls_context.h
index 0b8ded614..78dd7d49f 100644
--- a/src/ast/sls/sls_context.h
+++ b/src/ast/sls/sls_context.h
@@ -97,6 +97,7 @@ 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)); }
         };