From 2f8303393bb6a54d5ecc03a2fff7c181f86f55bf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 28 Dec 2019 16:57:22 -0800
Subject: [PATCH] fix reset

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/dd/dd_pdd.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp
index a34d3e89a..fe36233aa 100644
--- a/src/math/dd/dd_pdd.cpp
+++ b/src/math/dd/dd_pdd.cpp
@@ -47,6 +47,9 @@ namespace dd {
         reset_op_cache();
         m_node_table.reset();
         m_nodes.reset();
+        m_free_nodes.reset();
+        m_pdd_stack.reset();
+        m_mpq_table.reset();        
         init_nodes(level2var);
     }