add missing dependency

This commit is contained in:
Sébastien Loriot 2024-11-08 09:57:24 +01:00
parent 4ff92c1f47
commit 64bc98d6b5
1 changed files with 2 additions and 1 deletions

View File

@ -5,3 +5,4 @@ Algebraic_foundations
Circulator
Stream_support
Polygon
Triangulation_2