From 21bddd94bf12c4faca92efec67d3343943c52f41 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 18 May 2017 13:28:32 -0700 Subject: [PATCH] after merge with Z3Prover Signed-off-by: Lev Nachmanson --- src/util/lp/lar_solver.cpp | 1 - 1 file changed, 1 deletion(-) 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) {}