Fixing a memory leak in array info.

1 files changed, 2 insertions, 19 deletions

diff --git a/src/theory/arrays/array_info.h b/src/theory/arrays/array_info.h
index 3e479e0f9..319864c34 100644
--- a/src/theory/arrays/array_info.h
+++ b/src/theory/arrays/array_info.h
@@ -74,25 +74,8 @@ public:
   CTNodeList* stores;
   CTNodeList* in_stores;
 
-  Info(context::Context* c, Backtracker<TNode>* bck)
-    : isNonLinear(c, false),
-      rIntro1Applied(c, false),
-      modelRep(c,TNode()),
-      constArr(c,TNode()),
-      weakEquivPointer(c,TNode()),
-      weakEquivIndex(c,TNode()),
-      weakEquivSecondary(c,TNode()),
-      weakEquivSecondaryReason(c,TNode()) {
-    indices = new(true)CTNodeList(c);
-    stores = new(true)CTNodeList(c);
-    in_stores = new(true)CTNodeList(c);
-  }
-
-  ~Info() {
-    indices->deleteSelf();
-    stores->deleteSelf();
-    in_stores->deleteSelf();
-  }
+  Info(context::Context* c, Backtracker<TNode>* bck);
+  ~Info();
 
   /**
    * prints the information