diff --git a/library/server/wsf/router/wsf_router_mapping.e b/library/server/wsf/router/wsf_router_mapping.e index 219429c2..98a3f7f7 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 - -- URI of handled resource + -- Name (URI, or URI template or regular expression) of handled resource deferred ensure assciated_resource_not_void: Result /= Void