From 301209cda64867f41ac9e230dc64b4e508f84563 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 Sep 2019 17:44:25 -0700
Subject: [PATCH] fix #2595

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/polynomial/polynomial.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index 444cab962..6e032e91c 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -2384,8 +2384,6 @@ namespace polynomial {
 
         void checkpoint() {
             if (!m_limit.inc()) {
-                m_som_buffer.reset();
-                m_som_buffer2.reset();
                 throw polynomial_exception(Z3_CANCELED_MSG);
             }
         }