diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp
index 13451f270..9d88a730c 100644
--- a/src/math/dd/dd_pdd.cpp
+++ b/src/math/dd/dd_pdd.cpp
@@ -51,6 +51,8 @@ namespace dd {
         m_free_nodes.reset();
         m_pdd_stack.reset();
         m_values.reset();
+        m_mpq_table.reset();        
+        m_values.reset();
         m_free_values.reset();
         m_mpq_table.reset();  
         init_nodes(level2var);