From a94cb6bc1e9b230ad22067bad5e4edb88174dfea Mon Sep 17 00:00:00 2001 From: Simon Giraudot Date: Mon, 27 Apr 2020 10:06:16 +0200 Subject: [PATCH] Add missing dependency --- Point_set_3/package_info/Point_set_3/dependencies | 1 + 1 file changed, 1 insertion(+) diff --git a/Point_set_3/package_info/Point_set_3/dependencies b/Point_set_3/package_info/Point_set_3/dependencies index cab851ef527..6f0ec394588 100644 --- a/Point_set_3/package_info/Point_set_3/dependencies +++ b/Point_set_3/package_info/Point_set_3/dependencies @@ -1,5 +1,6 @@ Algebraic_foundations BGL +Circulator GraphicsView Installation Interval_support