• Guillaume Melquiond's avatar
    Fix for bug #21527. · b225133d
    Guillaume Melquiond authored
    When cloning a module using another module with a nullary symbol with some
    regions, these regions were no longer available to clone the declarations
    that were using them.
    b225133d
mlw_decl.ml 11.3 KB