This is fixed in rev#96434. The issue only occurs within EiffelStudio when loading/saving a file. in the environment This is most likely what causes the compilation issue you noticed.