From 656769819960bdcd2715a002625badd7b46c53d6 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 30 Nov 2018 08:10:49 +0700
Subject: [PATCH] Fix initialization order on theory_seq.

---
 src/smt/theory_seq.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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),