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);
             }
         }