From 77d5b381ead4711c3d73c8be9256382230e82712 Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de>
Date: Tue, 23 Jul 2019 11:12:29 +0200
Subject: [PATCH] Order initialization to avoid -Wreorder

---
 src/sat/sat_model_converter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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