diff --git a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_4.h b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_4.h
index e80b295c0c8..ebd9f99e7f4 100644
--- a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_4.h
+++ b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_4.h
@@ -88,7 +88,6 @@ double m01;
     m34 = (t3 - p3);
     double det;
     det = ::CGAL::determinant( m01, m02, m03, m04, m11, m12, m13, m14, m21, m22, m23, m24, m31, m32, m33, m34 );
-    int int_tmp_result;
     double eps;
     double max1 = CGAL::abs(m01);
     double am = CGAL::abs(m02);
diff --git a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_5.h b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_5.h
index 8555f6f823c..a57f445e885 100644
--- a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_5.h
+++ b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_5.h
@@ -115,7 +115,6 @@ public:
     m45 = (u4 - p4);
     double det;
     det = ::CGAL::determinant( m01, m02, m03, m04, m05, m11, m12, m13, m14, m15, m21, m22, m23, m24, m25, m31, m32, m33, m34, m35, m41, m42, m43, m44, m45 );
-    int int_tmp_result;
     double eps;
     double max1 = CGAL::abs(m01);
     double am = CGAL::abs(m02);
diff --git a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_6.h b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_6.h
index 89425ffd333..372a88c22f7 100644
--- a/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_6.h
+++ b/Filtered_kernel/include/CGAL/Filtered_kernel/internal/Static_filters/Orientation_6.h
@@ -150,7 +150,6 @@ public:
     m56 = (v5 - p5);
     double det;
     det = ::CGAL::determinant( m01, m02, m03, m04, m05, m06, m11, m12, m13, m14, m15, m16, m21, m22, m23, m24, m25, m26, m31, m32, m33, m34, m35, m36, m41, m42, m43, m44, m45, m46, m51, m52, m53, m54, m55, m56 );
-    int int_tmp_result;
     double eps;
     double max1 = CGAL::abs(m01);
     double am = CGAL::abs(m02);