From 0d05e0649bb7e45eee1924ba158c0ba2a966b8d4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 30 Dec 2022 18:16:24 -0800 Subject: [PATCH] initialization order Signed-off-by: Nikolaj Bjorner --- src/tactic/dependent_expr_state_tactic.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/dependent_expr_state_tactic.h b/src/tactic/dependent_expr_state_tactic.h index 58507a850..bf33d7fd2 100644 --- a/src/tactic/dependent_expr_state_tactic.h +++ b/src/tactic/dependent_expr_state_tactic.h @@ -48,8 +48,8 @@ public: dependent_expr_state(m), m(m), m_params(p), - m_factory(f), - m_dep(m, nullptr, nullptr, nullptr) + m_dep(m, nullptr, nullptr, nullptr), + m_factory(f) {} /**