From aef30966de7b11965fab04fa7558e6dc86ac7e51 Mon Sep 17 00:00:00 2001 From: Colin Adams Date: Thu, 14 Mar 2013 16:14:07 +0000 Subject: [PATCH] Corrected header comment in response to code review of pull-request --- library/server/wsf/router/wsf_router_mapping.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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