fix #4641

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 17, 2020 · df8b14d · df8b14d
1 parent 2611484
commit df8b14d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 {