From af017d09064999dc57cd93fcf8b0c4f2896cafee Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Mon, 26 Feb 2024 11:56:04 +0100 Subject: [PATCH] bad merge? --- src/math/lp/int_solver.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index c3516f0e4..f547ba274 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -201,12 +201,7 @@ namespace lp { if (r == lia_move::undef && should_gomory_cut()) r = gomory(*this).get_gomory_cuts(2); if (r == lia_move::undef) r = int_branch(*this)(); - - m_cut_vars.reset(); - if (settings().get_cancel_flag()) - return lia_move::undef; - if (r == lia_move::undef) - r = int_branch(*this)(); + if (settings().get_cancel_flag()) r = lia_move::undef; return r; }