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.