From d8df203622a519a7e54a72b22a479e7be9e02318 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 13 Jan 2024 19:11:17 -1000 Subject: [PATCH] remove an unused declaration Signed-off-by: Lev Nachmanson --- src/math/lp/gomory.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/math/lp/gomory.h b/src/math/lp/gomory.h index 8354bf01f39..0fdf4f8fe1c 100644 --- a/src/math/lp/gomory.h +++ b/src/math/lp/gomory.h @@ -27,7 +27,6 @@ namespace lp { class gomory { class int_solver& lia; class lar_solver& lra; - lia_move cut(lar_term & t, mpq & k, explanation* ex, unsigned basic_inf_int_j, const row_strip& row); unsigned_vector gomory_select_int_infeasible_vars(unsigned num_cuts); bool is_gomory_cut_target(lpvar j); u_dependency* add_deps(u_dependency*, const row_strip&, lpvar);