From 2e9dc3d090ba3b91c3996cb9742d2b9696a08ddb Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 6 Mar 2023 11:01:39 -0800
Subject: [PATCH] rm lu

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/test/lp/lp.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index 1a2ee2338b6..c386cf002d9 100644
--- 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"