Amended header comment in response to code review of pull-request

2013-03-14 16:44:15 +00:00
parent aef30966de
commit 049f769638
1 changed files with 1 additions and 1 deletions
--- 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