From 4b76e213a53eb5ecdcf834a5703ad21e9f7fede4 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 26 May 2020 16:35:43 -0700 Subject: [PATCH] move declarations closer to usage Signed-off-by: Lev Nachmanson --- src/math/lp/int_solver.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 7601c9fa4..7630adb37 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -157,10 +157,10 @@ lia_move int_solver::check(lp::explanation * e) { ++m_number_of_calls; if (r == lia_move::undef && m_patcher.should_apply()) r = m_patcher(); - if (r == lia_move::undef && should_find_cube()) r = cube(*this)(); + if (r == lia_move::undef && should_find_cube()) r = int_cube(*this)(); if (r == lia_move::undef && should_hnf_cut()) r = hnf_cut(); - if (r == lia_move::undef && should_gomory_cut()) r = gc(*this)(); - if (r == lia_move::undef) r = branch(*this)(); + if (r == lia_move::undef && should_gomory_cut()) r = gomory(*this)(); + if (r == lia_move::undef) r = int_branch(*this)(); return r; }