Reverted to previous TYPE.name to be compilable with version prior to 17.05.

(TYPE.name_32 exists since 17.05).
This commit is contained in:
Jocelyn Fiat
2017-06-02 17:40:53 +02:00
parent c83b9d4231
commit d4b9301a57

View File

@@ -57,7 +57,8 @@ feature -- Query
-- if possible
do
if attached value as v then
Result := generating_type.name_32
-- FIXME: in the future, use the new `{TYPE}.name_32`
Result := generating_type.name.to_string_32
else
Result := {STRING_32} "Void"
end