From d2e8297d4142f9b58c9bdd16293dae2bdb72af37 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 3 Mar 2023 15:38:47 -0800 Subject: [PATCH] remove includes of lp_dual_simplex --- src/math/lp/static_matrix.cpp | 1 - src/sat/smt/arith_sls.h | 1 - src/smt/theory_lra.cpp | 1 - src/test/lp/smt_reader.h | 1 - 4 files changed, 4 deletions(-) diff --git a/src/math/lp/static_matrix.cpp b/src/math/lp/static_matrix.cpp index 571e9b1d0..cde96277b 100644 --- a/src/math/lp/static_matrix.cpp +++ b/src/math/lp/static_matrix.cpp @@ -24,7 +24,6 @@ Revision History: #include "math/lp/static_matrix_def.h" #include "math/lp/lp_core_solver_base.h" #include "math/lp/lp_dual_core_solver.h" -#include "math/lp/lp_dual_simplex.h" #include "math/lp/lp_primal_core_solver.h" #include "math/lp/scaler.h" #include "math/lp/lar_solver.h" diff --git a/src/sat/smt/arith_sls.h b/src/sat/smt/arith_sls.h index af3a46234..f50441871 100644 --- a/src/sat/smt/arith_sls.h +++ b/src/sat/smt/arith_sls.h @@ -21,7 +21,6 @@ Author: #include "ast/arith_decl_plugin.h" #include "math/lp/lp_solver.h" #include "math/lp/lp_primal_simplex.h" -#include "math/lp/lp_dual_simplex.h" #include "math/lp/indexed_value.h" #include "math/lp/lar_solver.h" #include "math/lp/nla_solver.h" diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp index d61910ff2..4180f9ec3 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -21,7 +21,6 @@ #include "util/stopwatch.h" #include "math/lp/lp_solver.h" #include "math/lp/lp_primal_simplex.h" -#include "math/lp/lp_dual_simplex.h" #include "math/lp/indexed_value.h" #include "math/lp/lar_solver.h" #include "math/lp/nla_solver.h" diff --git a/src/test/lp/smt_reader.h b/src/test/lp/smt_reader.h index ee41a418a..6060370a8 100644 --- a/src/test/lp/smt_reader.h +++ b/src/test/lp/smt_reader.h @@ -24,7 +24,6 @@ Revision History: #include #include #include "math/lp/lp_primal_simplex.h" -#include "math/lp/lp_dual_simplex.h" #include "math/lp/lar_solver.h" #include #include