Fix the declaration for dependencies

This commit is contained in:
Laurent Rineau 2019-05-20 09:58:31 +02:00
parent d3e9ce2d6b
commit 394aaacc15
1 changed files with 2 additions and 0 deletions

View File

@ -4,7 +4,9 @@ Filtered_kernel
Hash_map Hash_map
Installation Installation
Interpolation Interpolation
Interval_support
Kernel_23 Kernel_23
Modular_arithmetic
Number_types Number_types
Polygon Polygon
Profiling_tools Profiling_tools