From d4b9301a571e4a495cae24b057c1b013d69153c2 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Fri, 2 Jun 2017 17:40:53 +0200
Subject: [PATCH] Reverted to previous `TYPE.name` to be compilable with
 version prior to 17.05. (TYPE.name_32 exists since 17.05).

---
 library/server/wsf/src/request/value/wsf_any.e | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/library/server/wsf/src/request/value/wsf_any.e b/library/server/wsf/src/request/value/wsf_any.e
index 3064dbfc..5ef0b824 100644
--- a/library/server/wsf/src/request/value/wsf_any.e
+++ b/library/server/wsf/src/request/value/wsf_any.e
@@ -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