From c6575e171703c4401bdf26128afd6b28dd6fa9c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Tue, 24 Nov 2015 01:05:11 +0100 Subject: [PATCH] replace inclusion of a deprecated header --- Skin_surface_3/include/CGAL/Skin_surface_filtered_traits_3.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Skin_surface_3/include/CGAL/Skin_surface_filtered_traits_3.h b/Skin_surface_3/include/CGAL/Skin_surface_filtered_traits_3.h index c06b7b12923..2d5a17deef1 100644 --- a/Skin_surface_3/include/CGAL/Skin_surface_filtered_traits_3.h +++ b/Skin_surface_3/include/CGAL/Skin_surface_filtered_traits_3.h @@ -25,7 +25,7 @@ #include #include -#include +#include #include namespace CGAL {