From b9a8d50b664890b4e67894f6946edf3cc424c643 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Mon, 17 Feb 2020 11:18:42 +0100
Subject: [PATCH] add missing include

---
 BGL/include/CGAL/boost/graph/properties.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/BGL/include/CGAL/boost/graph/properties.h b/BGL/include/CGAL/boost/graph/properties.h
index 5d91a397e16..49b88c9f221 100644
--- a/BGL/include/CGAL/boost/graph/properties.h
+++ b/BGL/include/CGAL/boost/graph/properties.h
@@ -22,6 +22,7 @@
 
 #include <CGAL/basic.h>
 #include <string>
+#include <set>
 
 namespace CGAL{
 /// \ingroup PkgBGLProperties