From 682e86812927f00fe69b532fb7660018aa2de64e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Feb 2023 10:14:24 -0800 Subject: [PATCH] initialize field Signed-off-by: Nikolaj Bjorner --- src/math/lp/lp_core_solver_base.h | 2 +- src/math/lp/lp_core_solver_base_def.h | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/lp/lp_core_solver_base.h b/src/math/lp/lp_core_solver_base.h index 673ef2404..5cde4485d 100644 --- a/src/math/lp/lp_core_solver_base.h +++ b/src/math/lp/lp_core_solver_base.h @@ -74,9 +74,9 @@ public: vector & m_x; // a feasible solution, the fist time set in the constructor vector & m_costs; lp_settings & m_settings; + lu> * m_factorization = nullptr; vector m_y; // the buffer for yB = cb // a device that is able to solve Bx=c, xB=d, and change the basis - lu> * m_factorization; const column_namer & m_column_names; indexed_vector m_w; // the vector featuring in 24.3 of the Chvatal book vector m_d; // the vector of reduced costs diff --git a/src/math/lp/lp_core_solver_base_def.h b/src/math/lp/lp_core_solver_base_def.h index c1b64492b..f85de1111 100644 --- a/src/math/lp/lp_core_solver_base_def.h +++ b/src/math/lp/lp_core_solver_base_def.h @@ -55,7 +55,6 @@ lp_core_solver_base(static_matrix & A, m_costs(costs), m_settings(settings), m_y(m_m()), - m_factorization(nullptr), m_column_names(column_names), m_w(m_m()), m_d(m_n()),