From 4f97bd5102b2d4c1589896017cf560cda6a3cc26 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 31 Oct 2019 14:46:34 +0100 Subject: [PATCH] Fix dependencies --- Property_map/package_info/Property_map/dependencies | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Property_map/package_info/Property_map/dependencies b/Property_map/package_info/Property_map/dependencies index 4b1b3cb93f3..90b94d36b57 100644 --- a/Property_map/package_info/Property_map/dependencies +++ b/Property_map/package_info/Property_map/dependencies @@ -1,4 +1,11 @@ +Algebraic_foundations +BGL Installation +Interval_support Kernel_23 +Modular_arithmetic +Number_types Profiling_tools +Property_map STL_Extension +Stream_support