From 153106a6a781a16bb10ed3896f7d631d12205f30 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 16 Apr 2019 12:43:41 -0700
Subject: [PATCH] fix initialization ordering to follow declaration order

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_array_bapa.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_array_bapa.cpp b/src/smt/theory_array_bapa.cpp
index 3ed16592d..e6234e76a 100644
--- a/src/smt/theory_array_bapa.cpp
+++ b/src/smt/theory_array_bapa.cpp
@@ -400,9 +400,9 @@ namespace smt {
         imp(theory_array_full& th):
             m(th.get_manager()),
             th(th),
-            m_rw(m),
             m_arith(m),
             m_autil(m),
+            m_rw(m),
             m_arith_value(m),
             m_pinned(m)
         {