Closed ariannab closed 6 years ago
The changes have been applied to goal file and across the whole project and should prevent conflicting identifiers in the future. Anyway, even new changes to the identifiers should be simpler now.
The changes have been applied to goal file and across the whole project and should prevent conflicting identifiers in the future. Anyway, even new changes to the identifiers should be simpler now.