From df8b14d77c1cbf50412923bb356611a86ec074d9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 17 Aug 2020 08:35:59 -0700 Subject: [PATCH] fix #4641 Signed-off-by: Nikolaj Bjorner --- src/math/lp/int_solver.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 17655aaf8..bd4fd772f 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -419,7 +419,6 @@ const impq & int_solver::get_value(unsigned j) const { std::ostream& int_solver::display_column(std::ostream & out, unsigned j) const { return lrac.m_r_solver.print_column_info(j, out); - return out; } bool int_solver::column_is_int_inf(unsigned j) const {