diff --git a/src/sat/sat_model_converter.cpp b/src/sat/sat_model_converter.cpp
index 3a951025b..d28a90e93 100644
--- a/src/sat/sat_model_converter.cpp
+++ b/src/sat/sat_model_converter.cpp
@@ -23,7 +23,7 @@ Revision History:
 
 namespace sat {
 
-    model_converter::model_converter(): m_solver(nullptr), m_exposed_lim(0) {
+    model_converter::model_converter(): m_exposed_lim(0), m_solver(nullptr) {
     }
 
     model_converter::~model_converter() {