Fix a few more minor memory leaks.

1 files changed, 10 insertions, 1 deletions

diff --git a/src/theory/quantifiers/anti_skolem.cpp b/src/theory/quantifiers/anti_skolem.cpp
index 9ccba38cd..908aeecfd 100644
--- a/src/theory/quantifiers/anti_skolem.cpp
+++ b/src/theory/quantifiers/anti_skolem.cpp
@@ -9,7 +9,7 @@
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
- ** \brief Implementation of anti-skolemization
+ ** \brief Implementation of anti-skolemization, e.g.:
  **          ( forall x. P[ f( x ) ] ^ forall x. Q[ f( x ) ]  ) => forall x. exists y. ( P[ y ] ^ Q[ y ] )
  **/
 
@@ -75,6 +75,15 @@ bool QuantAntiSkolem::CDSkQuantCache::add( context::Context* c, std::vector< Nod
   }
 }
 
+QuantAntiSkolem::CDSkQuantCache::~CDSkQuantCache() {
+  for(std::map< Node, CDSkQuantCache* >::iterator i = d_data.begin(), iend = d_data.end();
+      i != iend; ++i){
+    CDSkQuantCache* current = (*i).second;
+    Assert(current != NULL);
+    delete current;
+  }
+}
+
 QuantAntiSkolem::QuantAntiSkolem(QuantifiersEngine* qe)
     : QuantifiersModule(qe) {
   d_sqc = new CDSkQuantCache(qe->getUserContext());