diff --git a/Intersections_3/include/CGAL/Intersections_3/internal/tetrahedron_intersection_helpers.h b/Intersections_3/include/CGAL/Intersections_3/internal/tetrahedron_intersection_helpers.h
index 4525a9ea032..c355a851fe9 100644
--- a/Intersections_3/include/CGAL/Intersections_3/internal/tetrahedron_intersection_helpers.h
+++ b/Intersections_3/include/CGAL/Intersections_3/internal/tetrahedron_intersection_helpers.h
@@ -81,7 +81,7 @@ void fill_segments_infos(std::vector<Segment>& segments,
     wrapped_segments.push_back(Wrapped_segment(s));
 
   std::vector<Segment> bis = segments;
-  for(int dummy = 0; dummy < bis.size()-1; ++dummy)
+  while(!bis.empty())
   {
     Segment s = bis.back();
     bis.pop_back();