Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prevent unused variable warning for Dune > 2.5.2
In that case there is no need to calculate the maximum entries of an interface. Therefore we move the declaration of variable max_interface_entries into the compile time if branch where it is actually used.
- Loading branch information