From 3b1dfc764bfd0ee1f3b3cdae51720caab930d4c4 Mon Sep 17 00:00:00 2001
From: Simon Giraudot <simon.giraudot@geometryfactory.com>
Date: Wed, 24 Mar 2021 08:44:17 +0100
Subject: [PATCH] Add missing include

---
 Generator/include/CGAL/random_convex_hull_in_disc_2.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Generator/include/CGAL/random_convex_hull_in_disc_2.h b/Generator/include/CGAL/random_convex_hull_in_disc_2.h
index 4969ca9cb87..0bac0f466e3 100644
--- a/Generator/include/CGAL/random_convex_hull_in_disc_2.h
+++ b/Generator/include/CGAL/random_convex_hull_in_disc_2.h
@@ -21,6 +21,7 @@
 #include <CGAL/function_objects.h>
 #include <CGAL/copy_n.h>
 #include <CGAL/number_type_config.h>
+#include <CGAL/double.h>
 #include <list>
 
 namespace CGAL {