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 {