diff --git a/Circular_kernel_3/include/CGAL/Circular_kernel_3/Circular_arc_3.h b/Circular_kernel_3/include/CGAL/Circular_kernel_3/Circular_arc_3.h
index 6f222976f95..06f929eecbd 100644
--- a/Circular_kernel_3/include/CGAL/Circular_kernel_3/Circular_arc_3.h
+++ b/Circular_kernel_3/include/CGAL/Circular_kernel_3/Circular_arc_3.h
@@ -73,8 +73,8 @@ namespace CGAL {
       : _full(false)
       {
         // l must pass through s and t, and s != t
-        CGAL_kernel_precondition(SK().has_on_3_object()(c,s));
-        CGAL_kernel_precondition(SK().has_on_3_object()(c,t));
+//        CGAL_kernel_precondition(SK().has_on_3_object()(c,s));
+//        CGAL_kernel_precondition(SK().has_on_3_object()(c,t));
         CGAL_kernel_precondition(s != t);
         base = Rep(c,s,t);
         // we can optimize the computations of the sign (for the has_on functor),