From 581098299be0c3f8893d24f4260d9dc44b88dac4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Mon, 10 Jul 2017 12:04:58 -0700
Subject: [PATCH] change the order of initializations in the constructor of imp
 in theory_lra

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/smt/theory_lra.cpp     | 4 ++--
 src/util/lp/lar_solver.cpp | 2 +-
 src/util/lp/lar_solver.h   | 2 +-
 src/util/lp/nra_solver.cpp | 2 +-
 src/util/lp/nra_solver.h   | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 72654de18..c6fe07c4d 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -721,10 +721,10 @@ namespace smt {
             m_asserted_qhead(0), 
             m_assume_eq_head(0),
             m_num_conflicts(0),
+            m_use_nra_model(false),
             m_model_eqs(DEFAULT_HASHTABLE_INITIAL_CAPACITY, var_value_hash(*this), var_value_eq(*this)),
             m_solver(0),
-            m_resource_limit(*this),
-            m_use_nra_model(false) {
+            m_resource_limit(*this) {
         }
         
         ~imp() {
diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp
index 0f9fa938a..0b5508ec9 100644
--- a/src/util/lp/lar_solver.cpp
+++ b/src/util/lp/lar_solver.cpp
@@ -1,7 +1,7 @@
 #include "util/lp/lar_solver.h"
 /*
   Copyright (c) 2017 Microsoft Corporation
-  Author: Lev Nachmanson
+  Author: Nikolaj Bjorner, Lev Nachmanson
 */
 
 namespace lp {
diff --git a/src/util/lp/lar_solver.h b/src/util/lp/lar_solver.h
index e155d31a1..e1b6973e8 100644
--- a/src/util/lp/lar_solver.h
+++ b/src/util/lp/lar_solver.h
@@ -1,6 +1,6 @@
 /*
   Copyright (c) 2017 Microsoft Corporation
-  Author: Lev Nachmanson
+  Author: Nikolaj Bjorner, Lev Nachmanson
 */
 #pragma once
 #include "util/vector.h"
diff --git a/src/util/lp/nra_solver.cpp b/src/util/lp/nra_solver.cpp
index efa003b37..327d2b70f 100644
--- a/src/util/lp/nra_solver.cpp
+++ b/src/util/lp/nra_solver.cpp
@@ -1,6 +1,6 @@
 /*
   Copyright (c) 2017 Microsoft Corporation
-  Author: Lev Nachmanson
+  Author: Nikolaj Bjorner
 */
 
 #include "util/lp/lar_solver.h"
diff --git a/src/util/lp/nra_solver.h b/src/util/lp/nra_solver.h
index 68c9e98e5..70e614e91 100644
--- a/src/util/lp/nra_solver.h
+++ b/src/util/lp/nra_solver.h
@@ -1,6 +1,6 @@
 /*
   Copyright (c) 2017 Microsoft Corporation
-  Author: Lev Nachmanson
+  Author: Nikolaj Bjorner
 */
 
 #pragma once