diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp
index 32c41b23e..18b901104 100644
--- a/src/util/lp/lar_solver.cpp
+++ b/src/util/lp/lar_solver.cpp
@@ -30,7 +30,6 @@ void clear() {lean_assert(false); // not implemented
 lar_solver::lar_solver() : m_status(OPTIMAL),
                            m_infeasible_column_index(-1),
                            m_terms_start_index(1000000),
-                           m_column_type_function ([this] (unsigned j) {return m_mpq_lar_core_solver.m_column_types()[j];}),
                            m_mpq_lar_core_solver(m_settings, *this)
 {}