diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-06 20:24:46 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-06 20:24:46 +0000 |
| commit | 5b3788f06a843c8f34dc5d4f7b4bf636d82bba22 (patch) | |
| tree | d0131073488c0c39702e74acc5c62b5f5debd2d1 /src/compat | |
| parent | 08c6ab35a95c006969c9c966f01c6fd9ba9c8af1 (diff) | |
fix issue in compatibility layer that could segfault
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(); |