This commit is contained in:
jvelilla
2015-10-14 11:45:33 -03:00

View File

@@ -28,15 +28,13 @@ feature -- Access
Result.append_character ('%"') Result.append_character ('%"')
end end
location: STRING location: READABLE_STRING_8
feature -- Evaluation feature -- Evaluation
satisfied_for_response (res: CMS_RESPONSE): BOOLEAN satisfied_for_response (res: CMS_RESPONSE): BOOLEAN
local
loc: like location
do do
Result := res.location.same_string (loc) Result := res.location.same_string (location)
end end
note note