Add dependencies introduced by including Rational_traits

This commit is contained in:
Andreas Fabri 2021-05-11 11:11:08 +02:00
parent f29e7ca937
commit 430defe110
1 changed files with 2 additions and 0 deletions

View File

@ -2,7 +2,9 @@ Algebraic_foundations
Distance_2 Distance_2
Distance_3 Distance_3
Installation Installation
Interval_support
Kernel_23 Kernel_23
Modular_arithmetic
Number_types Number_types
Profiling_tools Profiling_tools
STL_Extension STL_Extension