From b1f151e598425dd178f554304bb1b2f8b5e50b2f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Thu, 7 Aug 2025 18:19:02 +0200
Subject: [PATCH] use only one specialization using FT

cannot get the specialization as an object inherits from Lazy
---
 Filtered_kernel/include/CGAL/Lazy.h | 26 +++++++++++---------------
 1 file changed, 11 insertions(+), 15 deletions(-)

diff --git a/Filtered_kernel/include/CGAL/Lazy.h b/Filtered_kernel/include/CGAL/Lazy.h
index 5d7b22ec37b..9b4041793c1 100644
--- a/Filtered_kernel/include/CGAL/Lazy.h
+++ b/Filtered_kernel/include/CGAL/Lazy.h
@@ -112,23 +112,19 @@ template<class T>inline std::enable_if_t<std::is_empty<T>::value, int> depth(T){
 
 namespace internal{
 
-  template <typename AT, typename ET, typename E2A>
-  struct Evaluate<Lazy<AT, ET, E2A>>
+template <typename ET>
+struct Evaluate<Lazy_exact_nt<ET>>
+{
+  template <typename AT, typename ET2, typename E2A>
+  void operator()(const Lazy<AT, ET2, E2A>& l)
   {
-      void operator()(const Lazy<AT, ET, E2A>& l)
-      {
-          exact(l);
-      }
+    exact(l);
+  }
+  void operator()(const Lazy_exact_nt<ET>& l)
+  {
+    exact(l);
+  }
 };
-
-  template <typename ET>
-  struct Evaluate<Lazy_exact_nt<ET>>
-  {
-      void operator()(const Lazy_exact_nt<ET>& l)
-      {
-          exact(l);
-      }
-  };
 } // internal namespace
 
 // For an iterator, exact/approx applies to the objects it points to