From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 11 Nov 2014 21:21:37 +0000 (-0500)
Subject: Possible fix for bug594
X-Git-Tag: cvc5-1.0.0~6498^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc0e2abf6318888541aa3350a0967fabf8c0e504;p=cvc5.git

Possible fix for bug594
---

diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h
index 1c9af0b87..324a5a2b4 100644
--- a/src/context/cdhashmap.h
+++ b/src/context/cdhashmap.h
@@ -168,7 +168,9 @@ class CDOhash_map : public ContextObj {
   /** ensure copy ctor is only called by us */
   CDOhash_map(const CDOhash_map& other) :
     ContextObj(other),
-    d_key(other.d_key),
+    // don't need to save the key---and if we do we can get
+    // refcounts for Node keys messed up and leak memory
+    d_key(),
     d_data(other.d_data),
     d_map(other.d_map),
     d_prev(NULL),