From d9b09ef001032ef9e463c195593bf2907a8b0134 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Mon, 17 Jun 2019 15:54:25 +0200
Subject: [PATCH] Clean-up loop

---
 .../Intersections_3/internal/tetrahedron_intersection_helpers.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();