From 338b31bf32c8197bf4899feeb24dd9aa40f0d992 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Mon, 28 Apr 2025 12:07:16 +0100 Subject: [PATCH] Add dependency --- Triangulation/package_info/Triangulation/dependencies | 1 + 1 file changed, 1 insertion(+) diff --git a/Triangulation/package_info/Triangulation/dependencies b/Triangulation/package_info/Triangulation/dependencies index c7893bd09b0..b13119b12fe 100644 --- a/Triangulation/package_info/Triangulation/dependencies +++ b/Triangulation/package_info/Triangulation/dependencies @@ -6,6 +6,7 @@ Kernel_23 Modular_arithmetic Number_types Profiling_tools +Property_map Random_numbers STL_Extension Spatial_sorting