rm lu

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Mar 8, 2023 · 2e9dc3d · 2e9dc3d
1 parent d00fcc8
commit 2e9dc3d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
@@ -49,7 +49,6 @@
 #include "math/lp/matrix.h"
 #include "math/lp/hnf.h"
 #include "math/lp/square_sparse_matrix_def.h"
-#include "math/lp/lu_def.h"
 #include "math/lp/general_matrix.h"
 #include "math/lp/lp_bound_propagator.h"
 #include "math/lp/nla_solver.h"