lp_dual_simplex.cpp removed from CMakeLists.txt

Z3Prover · Mar 3, 2023 · 8db2f14 · 8db2f14
1 parent cd24c99
commit 8db2f14
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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