From 077f518241c97bd4cd34c660a09171043e61b63f Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 5 Aug 2019 08:35:28 +0700
Subject: [PATCH] Fix -Wreorder warning.

---
 src/smt/smt_model_checker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/smt_model_checker.cpp b/src/smt/smt_model_checker.cpp
index 18b02c2b4..da3cbbef0 100644
--- a/src/smt/smt_model_checker.cpp
+++ b/src/smt/smt_model_checker.cpp
@@ -49,8 +49,8 @@ namespace smt {
         m_iteration_idx(0),
         m_has_rec_fun(false),
         m_curr_model(nullptr),
-        m_pinned_exprs(m),
-        m_fresh_exprs(m) {
+        m_fresh_exprs(m),
+        m_pinned_exprs(m) {
     }
 
     model_checker::~model_checker() {