From 8db2f1409b2c1a17402ac8c3911b83308f252d86 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 3 Mar 2023 15:27:57 -0800
Subject: [PATCH] lp_dual_simplex.cpp removed from CMakeLists.txt

---
 src/math/lp/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/CMakeLists.txt b/src/math/lp/CMakeLists.txt
index 30724fcf729..41813b10434 100644
--- a/src/math/lp/CMakeLists.txt
+++ b/src/math/lp/CMakeLists.txt
@@ -20,7 +20,6 @@ z3_add_component(lp
     lar_core_solver.cpp
     lp_core_solver_base.cpp
     lp_dual_core_solver.cpp
-    lp_dual_simplex.cpp
     lp_primal_core_solver.cpp
     lp_settings.cpp
     lp_solver.cpp