Fixed compilation of CMS_BLOCK_LOCATION_CONDITION (not used for now).

This commit is contained in:
2015-10-14 14:20:55 +02:00
parent f6185612b2
commit 788cf3738d
@@ -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