From abf1db15f560736e6901efd13fafa30d64bb5bf0 Mon Sep 17 00:00:00 2001
From: liamjdavis <davisliam123@gmail.com>
Date: Sat, 11 Jan 2025 21:58:37 -0800
Subject: [PATCH] Removed unnecessary header files form Test_BaBsrSplitting.h

---
 src/engine/tests/Test_BaBsrSplitting.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/engine/tests/Test_BaBsrSplitting.h b/src/engine/tests/Test_BaBsrSplitting.h
index db37bf134..8c68e6f76 100644
--- a/src/engine/tests/Test_BaBsrSplitting.h
+++ b/src/engine/tests/Test_BaBsrSplitting.h
@@ -13,12 +13,8 @@
  **/
 
 #include "../nlr/NetworkLevelReasoner.h"
-#include "FloatUtils.h"
-#include "LinearExpression.h"
-#include "MarabouError.h"
 #include "MockErrno.h"
 #include "MockTableau.h"
-#include "PiecewiseLinearCaseSplit.h"
 #include "Query.h"
 #include "ReluConstraint.h"
 #include "context/context.h"