Mentions légales du service

Skip to content
  • Guillaume Melquiond's avatar
    Fix for bug #21527. · 69e8633a
    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.
    69e8633a