Thank you for your report. The message is fixed to report Warning in rev#88431 of EiffelStudio 7.1 intermediate release.