From 25f0b46b9f3ef4ab4588dacbfaa1dee7aca3f8ca Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 30 Apr 2018 13:27:10 +0000 Subject: [PATCH] Update wikipage Removing object while iterating on a LIST. (Signed-off-by:tioui). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2021 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Mini-HowTo/Iterate-on-a-LIST-and-removing-object.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Iterate-on-a-LIST-and-removing-object.wiki b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Iterate-on-a-LIST-and-removing-object.wiki index 819e8d18..3a15ed60 100644 --- a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Iterate-on-a-LIST-and-removing-object.wiki +++ b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Iterate-on-a-LIST-and-removing-object.wiki @@ -1,5 +1,5 @@ [[Property:uuid|78393BBA-9B1E-4523-9881-3D83CEB6A952]] -[[Property:weight|3000]] +[[Property:weight|4000]] [[Property:title|Removing object while iterating on a LIST]] If you already have the object that you want to remove from the LIST you can easily use prune and prune_all. But if you want to remove objects while iterating on that LIST, depending on criteria on the objects contained in the LIST, here what you can do.