From f28c80e3b19a9203cfccd9688fce2ac7c086d065 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 13 Mar 2020 09:48:53 -0700 Subject: [PATCH] reorder fields in lar_solver constructor to avoid a warning Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index e1648c66b..34ec556b7 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -24,11 +24,11 @@ lar_solver::lar_solver() : m_status(lp_status::UNKNOWN), m_infeasible_column(-1), m_mpq_lar_core_solver(m_settings, *this), m_int_solver(nullptr), + m_need_register_terms(false), m_terms_start_index(1000000), m_var_register(0), m_term_register(m_terms_start_index), - m_constraints(*this), - m_need_register_terms(false) + m_constraints(*this) {} void lar_solver::set_track_pivoted_rows(bool v) {