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;
     }