diff options
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index b7817d968..109d849b9 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -623,7 +623,6 @@ public: * someone does a push-assert-pop without a check-sat. */ void notifyPop() { - d_assertions.getSkolemMap()->clear(); d_assertions.clear(); d_nonClausalLearnedLiterals.clear(); d_assertions.setRealAssertionsEnd(0); @@ -2612,8 +2611,6 @@ void SmtEnginePrivate::processAssertions() { } d_assertionsProcessed = true; - - d_assertions.getSkolemMap()->clear(); d_assertions.clear(); } |