diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 40ce87e13..04abe5949 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -208,8 +208,8 @@ theory_seq::theory_seq(ast_manager& m, theory_seq_params const & params):
     m_axioms(m),
     m_axioms_head(0),
     m_int_string(m),
-    m_mg(nullptr),
     m_length(m),
+    m_mg(nullptr),
     m_rewrite(m),
     m_seq_rewrite(m),
     m_util(m),