From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 28 Mar 2013 16:37:37 +0000 (-0400)
Subject: fix memory corruption in arrays destructor
X-Git-Tag: cvc5-1.0.0~7361^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=602265cbcddc50e84c57cd5e8836c88503cf29e0;p=cvc5.git

fix memory corruption in arrays destructor
---

diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp
index 9ed6de31f..783929f97 100644
--- 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);
 
 }