do it also for activations

vprover · Jan 19, 2025 · b6ef7f6 · b6ef7f6
1 parent f75a554
commit b6ef7f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Shell/Statistics.hpp b/Shell/Statistics.hpp
@@ -235,7 +235,7 @@ class Statistics {
   unsigned taAcyclicityGeneratedDisequalities;
 
   // Saturation
-  unsigned activations; // This is not a mere stat, it is also used for LRS estimation!
+  unsigned activations = 0; // This is not a mere stat, it is also used for LRS estimation!
   /** all clauses ever occurring in the unprocessed queue */
   unsigned generatedClauses;
   /** all passive clauses */