Fix -Wreorder warning.

Z3Prover · Aug 5, 2019 · 077f518 · 077f518
1 parent ce7f9c3
commit 077f518
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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() {