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

This commit is contained in:
Colin Adams
2013-03-14 16:14:07 +00:00
parent e14772fcc1
commit aef30966de

View File

@@ -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