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)
     {}
 
     /**