Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christian Engwer authored
Elias pointed out that one of the constructors got lost when merging with the recent HEAD. This commit adds the missing constructor.
Christian Engwer authoredElias pointed out that one of the constructors got lost when merging with the recent HEAD. This commit adds the missing constructor.
