From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 6 Nov 2012 20:24:46 +0000 (+0000)
Subject: fix issue in compatibility layer that could segfault
X-Git-Tag: cvc5-1.0.0~7647
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5b3788f06a843c8f34dc5d4f7b4bf636d82bba22;p=cvc5.git

fix issue in compatibility layer that could segfault
---

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 318726803..1dc8d37bd 100644
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -798,6 +798,7 @@ ValidityChecker::~ValidityChecker() {
     s_typeToExpr.erase(s_exprToType[*i]);
     s_exprToType.erase(*i);
   }
+  d_exprTypeMapRemove.clear();
   delete d_parserContext;
   delete d_smt;
   d_emmc.clear();