From bff07b2fc9ef0c26209475deae428ed77c29fecf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mael=20Rouxel-Labb=C3=A9?=
 <mael.rouxel.labbe@geometryfactory.com>
Date: Wed, 20 Sep 2023 12:55:11 +0200
Subject: [PATCH] Simplify the gate comparer: we can also sort artificial
 facets like normal facets

Artificial facets are *not* infinite facets.
---
 .../include/CGAL/Alpha_wrap_3/internal/gate_priority_queue.h | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/gate_priority_queue.h b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/gate_priority_queue.h
index 8d63e34c9e3..824d27bc2c1 100644
--- a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/gate_priority_queue.h
+++ b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/gate_priority_queue.h
@@ -68,11 +68,6 @@ struct Less_gate
   template <typename DT3>
   bool operator()(const Gate<DT3>& a, const Gate<DT3>& b) const
   {
-    // @fixme? make it a total order by comparing addresses if both gates are bbox facets
-    if(a.is_artificial_facet())
-      return true;
-    else if(b.is_artificial_facet())
-      return false;
     return a.priority() > b.priority();
   }
 };