diff --git a/Cartesian_kernel/include/CGAL/predicates/kernel_ftC2.h b/Cartesian_kernel/include/CGAL/predicates/kernel_ftC2.h
index f347ad83ee9..812aec9ea95 100644
--- a/Cartesian_kernel/include/CGAL/predicates/kernel_ftC2.h
+++ b/Cartesian_kernel/include/CGAL/predicates/kernel_ftC2.h
@@ -627,8 +627,4 @@ side_of_oriented_lineC2(const FT &a, const FT &b, const FT &c,
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#include <CGAL/Arithmetic_filter/predicates/kernel_ftC2.h>
-#endif
-
 #endif  // CGAL_PREDICATES_KERNEL_FTC2_H
diff --git a/Cartesian_kernel/include/CGAL/predicates/kernel_ftC3.h b/Cartesian_kernel/include/CGAL/predicates/kernel_ftC3.h
index 9214b7d841d..1021e108a7e 100644
--- a/Cartesian_kernel/include/CGAL/predicates/kernel_ftC3.h
+++ b/Cartesian_kernel/include/CGAL/predicates/kernel_ftC3.h
@@ -545,8 +545,4 @@ has_smaller_signed_dist_to_planeC3(
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#include <CGAL/Arithmetic_filter/predicates/kernel_ftC3.h>
-#endif
-
 #endif // CGAL_PREDICATES_KERNEL_FTC3_H
diff --git a/Kernel_23/include/CGAL/predicates/sign_of_determinant.h b/Kernel_23/include/CGAL/predicates/sign_of_determinant.h
index 8c4ca2d754c..1d976ecfaaa 100644
--- a/Kernel_23/include/CGAL/predicates/sign_of_determinant.h
+++ b/Kernel_23/include/CGAL/predicates/sign_of_determinant.h
@@ -109,8 +109,4 @@ sign_of_determinant6x6(
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#include <CGAL/Arithmetic_filter/predicates/sign_of_determinant.h>
-#endif // CGAL_ARITHMETIC_FILTER_H
-
 #endif // CGAL_PREDICATES_SIGN_OF_DETERMINANT_H
diff --git a/Triangulation_2/include/CGAL/predicates/Regular_triangulation_ftC2.h b/Triangulation_2/include/CGAL/predicates/Regular_triangulation_ftC2.h
index df091a2f43d..b4a738f90c6 100644
--- a/Triangulation_2/include/CGAL/predicates/Regular_triangulation_ftC2.h
+++ b/Triangulation_2/include/CGAL/predicates/Regular_triangulation_ftC2.h
@@ -91,10 +91,4 @@ power_testC2( const FT &px, const FT &py, const FT &pwt,
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#ifndef CGAL_ARITHMETIC_FILTER_REGULAR_TRIANGULATION_FTC2_H
-#include <CGAL/Arithmetic_filter/predicates/Regular_triangulation_ftC2.h>
-#endif // CGAL_ARITHMETIC_FILTER_REGULAR_TRIANGULATION_FTC2_H
-#endif
-
 #endif // CGAL_REGULAR_TRIANGULATION_FTC2_H
diff --git a/Triangulation_2/include/CGAL/predicates/Regular_triangulation_rtH2.h b/Triangulation_2/include/CGAL/predicates/Regular_triangulation_rtH2.h
index 5ecbf2cd81d..66c5410f736 100644
--- a/Triangulation_2/include/CGAL/predicates/Regular_triangulation_rtH2.h
+++ b/Triangulation_2/include/CGAL/predicates/Regular_triangulation_rtH2.h
@@ -123,10 +123,4 @@ power_testH2( const RT &phx, const RT &phy, const RT &phw, const RT &pwt,
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#ifndef CGAL_ARITHMETIC_FILTER_REGULAR_TRIANGULATION_RTH2_H
-#include <CGAL/Arithmetic_filter/predicates/Regular_triangulation_rtH2.h>
-#endif // CGAL_ARITHMETIC_FILTER_REGULAR_TRIANGULATION_RTH2_H
-#endif
-
 #endif // CGAL_REGULAR_TRIANGULATION_RTH2_H
diff --git a/Triangulation_3/include/CGAL/predicates/Regular_triangulation_ftC3.h b/Triangulation_3/include/CGAL/predicates/Regular_triangulation_ftC3.h
index 6edd9e08fc4..42fe6ff465d 100644
--- a/Triangulation_3/include/CGAL/predicates/Regular_triangulation_ftC3.h
+++ b/Triangulation_3/include/CGAL/predicates/Regular_triangulation_ftC3.h
@@ -158,8 +158,4 @@ power_testC3(const FT &pwt, const FT &qwt)
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#include <CGAL/Arithmetic_filter/predicates/Regular_triangulation_ftC3.h>
-#endif
-
 #endif // CGAL_REGULAR_TRIANGULATION_FTC3_H
diff --git a/Triangulation_3/include/CGAL/predicates/Regular_triangulation_rtH3.h b/Triangulation_3/include/CGAL/predicates/Regular_triangulation_rtH3.h
index dced4bdb2eb..14b40143aef 100644
--- a/Triangulation_3/include/CGAL/predicates/Regular_triangulation_rtH3.h
+++ b/Triangulation_3/include/CGAL/predicates/Regular_triangulation_rtH3.h
@@ -83,8 +83,4 @@ power_testH3(
 
 CGAL_END_NAMESPACE
 
-#ifdef CGAL_ARITHMETIC_FILTER_H
-#include <CGAL/Arithmetic_filter/predicates/Regular_triangulation_rtH3.h>
-#endif
-
 #endif // CGAL_REGULAR_TRIANGULATION_RTH3_H