From 79a2b52de06d6e70dfc9ea12a1498e3da1df04e9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Apr 2020 10:29:41 -0700
Subject: [PATCH] fix #3971

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_datatype.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_datatype.cpp b/src/smt/theory_datatype.cpp
index 8a6065949..ab5d1923c 100644
--- a/src/smt/theory_datatype.cpp
+++ b/src/smt/theory_datatype.cpp
@@ -54,9 +54,6 @@ namespace smt {
         unmark_enodes2(m_to_unmark2.size(), m_to_unmark2.c_ptr());
         m_to_unmark.reset();
         m_to_unmark2.reset();
-        m_used_eqs.reset();
-        m_stack.reset();
-        m_parent.reset();
     }
     
     void theory_datatype::oc_mark_on_stack(enode * n) {