From da4a9c4ff5ac5ffb71c7eeb85b183f1938bde518 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mael=20Rouxel-Labb=C3=A9?= Date: Tue, 8 Sep 2020 10:33:00 +0200 Subject: [PATCH] Add missing header includes --- Filtered_kernel/include/CGAL/Lazy.h | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/Filtered_kernel/include/CGAL/Lazy.h b/Filtered_kernel/include/CGAL/Lazy.h index ccceae388ad..f142bbec1f7 100644 --- a/Filtered_kernel/include/CGAL/Lazy.h +++ b/Filtered_kernel/include/CGAL/Lazy.h @@ -25,10 +25,8 @@ #include #include #include -#include -#include #include -#include +#include #include #include @@ -47,6 +45,14 @@ #include #include +#include +#include +#include +#include +#include +#include +#include + namespace CGAL { template