From 602265cbcddc50e84c57cd5e8836c88503cf29e0 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 28 Mar 2013 12:37:37 -0400 Subject: [PATCH] fix memory corruption in arrays destructor --- src/theory/arrays/theory_arrays.cpp | 4 ++++ 1 file changed, 4 insertions(+) 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); } -- 2.30.2