From ddb1aa8aecf912eae426cb5eca92f373382d59a7 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Fri, 28 Jul 2017 15:45:02 +0200 Subject: [PATCH] Fix compilation of missing header --- Mesh_3/include/CGAL/Mesh_3/experimental/Get_facet_patch_id.h | 1 + 1 file changed, 1 insertion(+) diff --git a/Mesh_3/include/CGAL/Mesh_3/experimental/Get_facet_patch_id.h b/Mesh_3/include/CGAL/Mesh_3/experimental/Get_facet_patch_id.h index d85a0e883ca..a555f03ecd4 100644 --- a/Mesh_3/include/CGAL/Mesh_3/experimental/Get_facet_patch_id.h +++ b/Mesh_3/include/CGAL/Mesh_3/experimental/Get_facet_patch_id.h @@ -25,6 +25,7 @@ #include #include +#include #include namespace CGAL { namespace Mesh_3 {