From 19f98547f7d3155f4a8985a068f5171f9e16a090 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 9 Jun 2016 21:59:10 -0700
Subject: [PATCH] fix memory leak Issue #643

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_model_generator.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/smt/smt_model_generator.h b/src/smt/smt_model_generator.h
index 07f508e69..f360dbd7e 100644
--- a/src/smt/smt_model_generator.h
+++ b/src/smt/smt_model_generator.h
@@ -222,7 +222,12 @@ namespace smt {
         obj_map<enode, app *> const & get_root2value() const { return m_root2value; }
         app * get_value(enode * n) const;
 
-        void hide(func_decl * f) { m_hidden_ufs.insert_if_not_there(f); m_manager.inc_ref(f); }
+        void hide(func_decl * f) { 
+            if (!m_hidden_ufs.contains(f)) {
+                m_hidden_ufs.insert(f);
+                m_manager.inc_ref(f); 
+            }
+        }
     };
 };