From dcb38f3151a512a998077e5e68121aaa54f25695 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mael=20Rouxel-Labb=C3=A9?= Date: Tue, 12 Nov 2024 14:53:03 +0100 Subject: [PATCH] Fix broken doc link --- Circular_kernel_3/doc/Circular_kernel_3/dependencies | 1 + 1 file changed, 1 insertion(+) diff --git a/Circular_kernel_3/doc/Circular_kernel_3/dependencies b/Circular_kernel_3/doc/Circular_kernel_3/dependencies index bc945e6454c..47c71fadee2 100644 --- a/Circular_kernel_3/doc/Circular_kernel_3/dependencies +++ b/Circular_kernel_3/doc/Circular_kernel_3/dependencies @@ -1,3 +1,4 @@ +Algebraic_foundations Circular_kernel_2 Kernel_23 Number_types