From ce96182746b8c05636f636f684f9aa5e409a234d Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Wed, 14 Apr 2021 17:32:34 +0100
Subject: [PATCH] micro opt: dont reallocate an hashtable in a destructor

---
 src/smt/smt_model_finder.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
index 4a3f1fff8..7df758e18 100644
--- a/src/smt/smt_model_finder.cpp
+++ b/src/smt/smt_model_finder.cpp
@@ -74,7 +74,6 @@ namespace smt {
                 for (auto const& kv : m_elems) {
                     m.dec_ref(kv.m_key);
                 }
-                m_elems.reset();
             }
 
             obj_map<expr, unsigned> const& get_elems() const { return m_elems; }