From 22c2318a55d1589bc581b6110b39f6a527b3a4c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mael=20Rouxel-Labb=C3=A9?=
 <mael.rouxel.labbe@geometryfactory.com>
Date: Wed, 22 Nov 2023 13:30:48 +0100
Subject: [PATCH] Add a todo

---
 Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
index 2bfae11f3b7..8529af0b0f2 100644
--- a/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
+++ b/Alpha_wrap_3/include/CGAL/Alpha_wrap_3/internal/Alpha_wrap_3.h
@@ -1087,6 +1087,9 @@ private:
       return false;
 #endif
 
+    // @todo could avoid useless facet_status() calls by doing it after the zombie check
+    // for the unsorted priority queue, but AFAIR, it doesn't save noticeable time (and that
+    // increases the queue size).
     const Facet_status status = facet_status(f);
     if(status == Facet_status::IRRELEVANT)
       return false;