Removed unnecessary header files form Test_BaBsrSplitting.h

NeuralNetworkVerification · Jan 12, 2025 · abf1db1 · abf1db1
1 parent a5eccbe
commit abf1db1
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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"