From c40a67da7d1915f00d12703080d057faefce5408 Mon Sep 17 00:00:00 2001
From: Ding Fei <danix800@gmail.com>
Date: Thu, 29 Oct 2020 01:06:50 +0800
Subject: [PATCH] avoid use of uninit member (m) (#4761)

Co-authored-by: Ding Fei <fei.ding@ustchcs.com>
---
 src/sat/smt/dt_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/dt_solver.cpp b/src/sat/smt/dt_solver.cpp
index 3739b87c6..9578ff5d3 100644
--- a/src/sat/smt/dt_solver.cpp
+++ b/src/sat/smt/dt_solver.cpp
@@ -26,7 +26,7 @@ namespace euf {
 namespace dt {
 
     solver::solver(euf::solver& ctx, theory_id id) :
-        th_euf_solver(ctx, m.get_family_name(id), id),
+        th_euf_solver(ctx, ctx.get_manager().get_family_name(id), id),
         dt(m),
         m_autil(m),
         m_find(*this),