move initialization to header file

Z3Prover · Oct 9, 2023 · 1bdf66b · 1bdf66b
1 parent 75e29b2
commit 1bdf66b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
@@ -22,8 +22,6 @@ namespace lp {
     }
 
     lar_solver::lar_solver() :
-        m_crossed_bounds_column(null_lpvar),
-        m_crossed_bounds_deps(nullptr),
         m_mpq_lar_core_solver(m_settings, *this),
         m_var_register(false),
         m_term_register(true),

diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h
@@ -78,8 +78,8 @@ class lar_solver : public column_namer {
     lp_status m_status = lp_status::UNKNOWN;
     stacked_value<simplex_strategy_enum> m_simplex_strategy;
     // such can be found at the initialization step: u < l
-    lpvar m_crossed_bounds_column;
-    u_dependency* m_crossed_bounds_deps;
+    lpvar m_crossed_bounds_column = null_lpvar;
+    u_dependency* m_crossed_bounds_deps = nullptr;
     lar_core_solver m_mpq_lar_core_solver;
     int_solver* m_int_solver = nullptr;
     bool m_need_register_terms = false;