From 5ad4d1017e1566dcd7962f56ef2e179e266df560 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Fri, 22 Dec 2023 11:57:31 +0100
Subject: [PATCH] reset tmp vectors

---
 src/math/polysat/slicing.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/math/polysat/slicing.cpp b/src/math/polysat/slicing.cpp
index 799b8bbff..28ddfc2df 100644
--- a/src/math/polysat/slicing.cpp
+++ b/src/math/polysat/slicing.cpp
@@ -1544,6 +1544,8 @@ namespace polysat {
             SASSERT_EQ(nv->get_root(), nx->get_root());
             explain_equal(nv, nx, m_tmp_deps);
         }
+        v_base.reset();
+        x_base.reset();
 
         for (void* dp : m_tmp_deps) {
             dep_t const d = dep_t::decode(dp);