From 696c95e1cfe945d8e4cac64f9fd6a02690426b07 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 17 Jan 2020 15:15:58 -0800
Subject: [PATCH] remove duplicate lines

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/dd/dd_pdd.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp
index aeb90909a..e00ab6a0f 100644
--- a/src/math/dd/dd_pdd.cpp
+++ b/src/math/dd/dd_pdd.cpp
@@ -52,9 +52,6 @@ namespace dd {
         m_pdd_stack.reset();
         m_values.reset();
         m_free_values.reset();
-        m_mpq_table.reset();        
-        m_values.reset();
-        m_free_values.reset();
         m_mpq_table.reset();  
         init_nodes(level2var);
     }