From f5c7b9fb2fbc3e6003cdef9ec3950dc13045fd81 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Dec 2019 12:56:52 -0800
Subject: [PATCH] reset values

---
 src/math/dd/dd_pdd.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp
index fe36233aa..0dd13b7a6 100644
--- a/src/math/dd/dd_pdd.cpp
+++ b/src/math/dd/dd_pdd.cpp
@@ -50,6 +50,7 @@ namespace dd {
         m_free_nodes.reset();
         m_pdd_stack.reset();
         m_mpq_table.reset();        
+        m_values.reset();
         init_nodes(level2var);
     }