remove an unused declaration

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Jan 14, 2024 · d8df203 · d8df203
1 parent e2fb4fb
commit d8df203
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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<mpq>& 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<mpq>&, lpvar);