From 4818e5ddd46c71455d8fbfcdc3b9048d08ec620e Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Wed, 28 Mar 2018 17:35:00 +0100 Subject: [PATCH] Add #include --- .../include/CGAL/boost/graph/graph_traits_HalfedgeDS_default.h | 1 + 1 file changed, 1 insertion(+) diff --git a/HalfedgeDS/include/CGAL/boost/graph/graph_traits_HalfedgeDS_default.h b/HalfedgeDS/include/CGAL/boost/graph/graph_traits_HalfedgeDS_default.h index f9dcd730e23..b47f2026a21 100644 --- a/HalfedgeDS/include/CGAL/boost/graph/graph_traits_HalfedgeDS_default.h +++ b/HalfedgeDS/include/CGAL/boost/graph/graph_traits_HalfedgeDS_default.h @@ -4,6 +4,7 @@ #include #include #include +#include namespace CGAL {