diff --git a/Circular_kernel_3/include/CGAL/Circular_kernel_3/internal_function_has_on_spherical_kernel.h b/Circular_kernel_3/include/CGAL/Circular_kernel_3/internal_function_has_on_spherical_kernel.h
index 981fccaed07..196598eebb8 100644
--- a/Circular_kernel_3/include/CGAL/Circular_kernel_3/internal_function_has_on_spherical_kernel.h
+++ b/Circular_kernel_3/include/CGAL/Circular_kernel_3/internal_function_has_on_spherical_kernel.h
@@ -162,7 +162,7 @@ namespace CGAL {
     }
 
 
-    template< class SK>
+    template< class SK >
     inline
     Sign
     compute_sign_of_cross_product(const typename SK::Root_of_2 &x1, 
@@ -180,24 +180,6 @@ namespace CGAL {
       return sign(cz);
     }
 
-    template< class SK>
-    inline
-    Sign
-    compute_sign_of_cross_product(const typename SK::FT &x1, 
-                                  const typename SK::FT &y1,
-                                  const typename SK::FT &z1,
-                                  const typename SK::FT &x2, 
-                                  const typename SK::FT &y2,
-                                  const typename SK::FT &z2) {
-      typedef typename SK::FT FT;
-      const FT cx = y1 * z2 - z1 * y2;
-      const FT cy = z1 * x2 - x1 * z2;
-      const FT cz = x1 * y2 - y1 * x2;
-      if(!is_zero(cx)) return sign(cx);
-      if(!is_zero(cy)) return sign(cy);
-      return sign(cz);
-    }
-
     template< class SK>
     inline
     Sign