Fixed compilation issue.

This commit is contained in:
2015-10-12 19:42:09 +02:00
parent d37f45d958
commit f6185612b2

View File

@@ -478,7 +478,7 @@ feature -- Block management
end end
end end
clear_block_caches (a_block_id_list: detachable ITERABLE [READABLE_STRING_8]) clear_block_caches (a_block_id_list: detachable ITERABLE [READABLE_STRING_GENERAL])
-- Clear cache for block `a_block_id_list' if set, -- Clear cache for block `a_block_id_list' if set,
-- otherwise clear all block caches if `a_block_id_list' is Void. -- otherwise clear all block caches if `a_block_id_list' is Void.
local local