From c8449b29c1dceaae50595d74d81b79e2e36119d0 Mon Sep 17 00:00:00 2001 From: Simon Giraudot Date: Wed, 30 Sep 2020 08:44:01 +0200 Subject: [PATCH] Add Circulator new dependency to Surface_sweep --- Surface_sweep_2/package_info/Surface_sweep_2/dependencies | 1 + 1 file changed, 1 insertion(+) diff --git a/Surface_sweep_2/package_info/Surface_sweep_2/dependencies b/Surface_sweep_2/package_info/Surface_sweep_2/dependencies index 4fe31e411a2..09546686abf 100644 --- a/Surface_sweep_2/package_info/Surface_sweep_2/dependencies +++ b/Surface_sweep_2/package_info/Surface_sweep_2/dependencies @@ -2,6 +2,7 @@ Algebraic_foundations Arithmetic_kernel Arrangement_on_surface_2 Cartesian_kernel +Circulator Distance_2 Distance_3 Filtered_kernel