From 2ec09944d726b2bba610423692e2696c729a3b68 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 3 Mar 2023 15:32:44 -0800
Subject: [PATCH] removals

---
 src/math/lp/CMakeLists.txt |  1 -
 src/test/lp/lp.cpp         | 15 ---------------
 2 files changed, 16 deletions(-)

diff --git a/src/math/lp/CMakeLists.txt b/src/math/lp/CMakeLists.txt
index 41813b104..5719de44f 100644
--- a/src/math/lp/CMakeLists.txt
+++ b/src/math/lp/CMakeLists.txt
@@ -22,7 +22,6 @@ z3_add_component(lp
     lp_dual_core_solver.cpp
     lp_primal_core_solver.cpp
     lp_settings.cpp
-    lp_solver.cpp
     lu.cpp
     lp_utils.cpp
     matrix.cpp
diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index 9e0425194..c2b297e6b 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -1549,21 +1549,6 @@ int get_random_int() {
     return -1 + my_random() % 2; // (1.0 + RAND_MAX);
 }
 
-void add_random_row(lp_primal_simplex<double, double> * solver, int cols, int row) {
-    solver->add_constraint(lp_relation::Greater_or_equal, 1, row);
-    for (int i = 0; i < cols; i++) {
-        solver->set_row_column_coefficient(row, i, get_random_int());
-    }
-}
-
-void add_random_cost(lp_primal_simplex<double, double> * solver, int cols) {
-    for (int i = 0; i < cols; i++) {
-        solver->set_cost_for_column(i, get_random_int());
-    }
-}
-
-
-
 #ifndef _WINDOWS
 void fill_file_names(vector<std::string> &file_names,  std::set<std::string> & minimums) {
     char *home_dir = getenv("HOME");