From 5e4bca3d26d5f86edce6baf1331d6e4d72c00ae0 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 3 Mar 2023 15:58:25 -0800
Subject: [PATCH] small removals

---
 src/sat/smt/arith_sls.h        | 1 -
 src/test/lp/test_file_reader.h | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/sat/smt/arith_sls.h b/src/sat/smt/arith_sls.h
index b0b4fb48bb3..09a56c84efd 100644
--- a/src/sat/smt/arith_sls.h
+++ b/src/sat/smt/arith_sls.h
@@ -19,7 +19,6 @@ Module Name:
 #include "util/obj_pair_set.h"
 #include "ast/ast_trail.h"
 #include "ast/arith_decl_plugin.h"
-#include "math/lp/lp_solver.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/test_file_reader.h b/src/test/lp/test_file_reader.h
index 8f461ea1c26..36b27374023 100644
--- a/src/test/lp/test_file_reader.h
+++ b/src/test/lp/test_file_reader.h
@@ -27,7 +27,6 @@ Revision History:
 #include <iostream>
 #include <fstream>
 #include "math/lp/lp_utils.h"
-#include "math/lp/lp_solver.h"
 
 namespace lp {