initialization order

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 31, 2022 · 0d05e06 · 0d05e06
1 parent 2c3ecce
commit 0d05e06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/tactic/dependent_expr_state_tactic.h b/src/tactic/dependent_expr_state_tactic.h
@@ -48,8 +48,8 @@ class dependent_expr_state_tactic : public tactic, public dependent_expr_state {
         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)
     {}
 
     /**