diff --git a/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h b/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h
index eac895070b7..6f33d4f094f 100644
--- a/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h
+++ b/Segment_Delaunay_graph_Linf_2/include/CGAL/Segment_Delaunay_graph_Linf_2/Infinite_edge_interior_conflict_C2.h
@@ -603,16 +603,6 @@ public:
           std::cout << "debug infinite-edge-int-cf special POS"
           << std::endl;);
       if (s.is_point() and r.is_point()) {
-        // philaris: I assert that sqt and rqt are monotone
-
-        CGAL_assertion(
-            or_linf(s.point(), q.point(), t.point()) ==
-            DEGENERATE );
-
-        CGAL_assertion(
-            or_linf(r.point(), q.point(), t.point()) ==
-            DEGENERATE );
-
         if ((bounded_side_of_bbox(
                t.point(), s.point(), q.point()) ==
                  ON_BOUNDED_SIDE) and