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 {