From 9cb713879ef367d44e65ed6dc7089f172ded4348 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 30 Jul 2018 09:56:39 -0700
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/lp_core_solver_base.h | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/util/lp/lp_core_solver_base.h b/src/util/lp/lp_core_solver_base.h
index 35a989c07..5bde78ca8 100644
--- a/src/util/lp/lp_core_solver_base.h
+++ b/src/util/lp/lp_core_solver_base.h
@@ -648,14 +648,6 @@ public:
         return true;
     }
 
-    int find_pivot_index_in_row(unsigned i, const vector<column_cell> & col) const {
-        for (const auto & c: col) {
-            if (c.m_i == i)
-                return c.m_offset;
-        }
-        return -1;
-    }
-
     void transpose_rows_tableau(unsigned i, unsigned ii);
     
     void pivot_to_reduced_costs_tableau(unsigned i, unsigned j);