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() {