diff options
Diffstat (limited to 'src/compat')
| -rw-r--r-- | src/compat/cvc3_compat.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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(); |