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)); }
         };