a small change that fix an error in the non-reg tests: constant
values could not be exported, while expandPack.ml was exporting it.
Showing
Loading
Please register or sign in to comment
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
values could not be exported, while expandPack.ml was exporting it.