fix issue in compatibility layer that could segfault

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 318726803289242f9727f9f299d8763f10ad19e8..1dc8d37bdf342410f042537225b8084444c5e4b6 100644 (file)
--- 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();