From f31d41c1f280aae5030040a0d2c89d02bf4c4ba6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Thu, 29 Jun 2023 18:08:31 +0200 Subject: [PATCH] missing include --- Envelope_3/include/CGAL/Env_sphere_traits_3.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Envelope_3/include/CGAL/Env_sphere_traits_3.h b/Envelope_3/include/CGAL/Env_sphere_traits_3.h index bec2a5b72a9..2a42d07f0a0 100644 --- a/Envelope_3/include/CGAL/Env_sphere_traits_3.h +++ b/Envelope_3/include/CGAL/Env_sphere_traits_3.h @@ -25,6 +25,8 @@ #include #include +#include + namespace CGAL { template