diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index ebe14e407..069709126 100644
--- 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
index d902f9a3a..949cb0910 100644
--- 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;