From 757918be95e8b8d401a4e34be9c8cf85b57b4493 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Mon, 8 Apr 2019 12:46:06 +0200 Subject: [PATCH] Add Property_map to dependencies --- Convex_hull_2/package_info/Convex_hull_2/dependencies | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Convex_hull_2/package_info/Convex_hull_2/dependencies b/Convex_hull_2/package_info/Convex_hull_2/dependencies index 0caa88d0150..d5197515f41 100644 --- a/Convex_hull_2/package_info/Convex_hull_2/dependencies +++ b/Convex_hull_2/package_info/Convex_hull_2/dependencies @@ -8,3 +8,5 @@ Number_types Profiling_tools STL_Extension Stream_support +Property_map +