From 11d37d97a14d930a64df03e0645944cb6914245d Mon Sep 17 00:00:00 2001
From: Lev <levnach@hotmail.com>
Date: Fri, 14 Sep 2018 11:07:14 -0700
Subject: [PATCH] branch of an int inf base if the row is not a gomory target

Signed-off-by: Lev <levnach@hotmail.com>
---
 src/util/lp/int_solver.cpp | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/util/lp/int_solver.cpp b/src/util/lp/int_solver.cpp
index f7a792519..6a1a51c0a 100644
--- a/src/util/lp/int_solver.cpp
+++ b/src/util/lp/int_solver.cpp
@@ -140,16 +140,6 @@ lia_move int_solver::mk_gomory_cut( unsigned inf_col, const row_strip<mpq> & row
     return gc.create_cut();
 }
 
-int int_solver::find_free_var_in_gomory_row(const row_strip<mpq>& row) {
-    unsigned j;
-    for (const auto & p : row) {
-        j = p.var();
-        if (!is_base(j) && is_free(j))
-            return static_cast<int>(j);
-    }
-    return -1;
-}
-
 lia_move int_solver::proceed_with_gomory_cut(unsigned j) {
     const row_strip<mpq>& row = m_lar_solver->get_row(row_of_basic_column(j));