diff options
| author | Chad Brewbaker <crb002@gmail.com> | 2017-01-06 22:56:07 -0600 |
|---|---|---|
| committer | Chad Brewbaker <crb002@gmail.com> | 2017-01-06 22:56:07 -0600 |
| commit | 87fa456d0f3ed04d7e060e2ac7049f943e9fe422 (patch) | |
| tree | 4ed4c3ef67c1173f2c2ec691743ce0930bc953c2 /src | |
| parent | ff498bb43b3d3785bdb894974678e65926de62ab (diff) | |
quashing debug memory leak
Diffstat (limited to 'src')
| -rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a79416b76..9f4929d0b 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -4255,6 +4255,9 @@ void SmtEnginePrivate::processAssertions() { d_assertions.clear(); d_iteSkolemMap.clear(); + #ifdef CVC4_ASSERTIONS + Rewriter::clearCaches(); + #endif } void SmtEnginePrivate::addFormula(TNode n, bool inUnsatCore, bool inInput) |