From 6de06157798334a3e311de1d2f7aea43eed0f340 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 1 May 2021 15:18:59 -0700
Subject: [PATCH] #5223

---
 src/sat/smt/dt_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/dt_solver.cpp b/src/sat/smt/dt_solver.cpp
index 63183ea72..67a57a068 100644
--- a/src/sat/smt/dt_solver.cpp
+++ b/src/sat/smt/dt_solver.cpp
@@ -63,6 +63,7 @@ namespace dt {
         SASSERT(s.m_to_unmark2.empty());
         s.m_used_eqs.reset();
         s.m_dfs.reset();
+        s.m_parent.reset();
     }
 
     solver::final_check_st::~final_check_st() {