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"