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