From 049f769638219c3e90c3558c7f5d3ca787757e96 Mon Sep 17 00:00:00 2001 From: Colin Adams Date: Thu, 14 Mar 2013 16:44:15 +0000 Subject: [PATCH] Amended 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 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