diff --git a/library/server/wsf/router/wsf_router_mapping.e b/library/server/wsf/router/wsf_router_mapping.e index 98a3f7f7..89f53303 100644 --- a/library/server/wsf/router/wsf_router_mapping.e +++ b/library/server/wsf/router/wsf_router_mapping.e @@ -23,7 +23,7 @@ feature {NONE} -- Initialization feature -- Access associated_resource: READABLE_STRING_8 - -- Name (URI, or URI template or regular expression) of handled resource + -- Name (URI, or URI template or regular expression or ...) of handled resource deferred ensure assciated_resource_not_void: Result /= Void