fix memory corruption in arrays destructor

diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp
index 9ed6de31f191ef5627474804123bba79943d4cb9..783929f97d42007ad78d59cbf0328a633f15d3c5 100644 (file)
--- a/src/theory/arrays/theory_arrays.cpp
+++ b/src/theory/arrays/theory_arrays.cpp
@@ -130,6 +130,10 @@ TheoryArrays::~TheoryArrays() {
   StatisticsRegistry::unregisterStat(&d_numExplain);
   StatisticsRegistry::unregisterStat(&d_numNonLinear);
   StatisticsRegistry::unregisterStat(&d_numSharedArrayVarSplits);
+  StatisticsRegistry::unregisterStat(&d_numGetModelValSplits);
+  StatisticsRegistry::unregisterStat(&d_numGetModelValConflicts);
+  StatisticsRegistry::unregisterStat(&d_numSetModelValSplits);
+  StatisticsRegistry::unregisterStat(&d_numSetModelValConflicts);
   StatisticsRegistry::unregisterStat(&d_checkTimer);
 
 }