diff --git a/library/text/parser/feed/src/kernel/feed.e b/library/text/parser/feed/src/kernel/feed.e index 95a6e60e..2a86bb7e 100644 --- a/library/text/parser/feed/src/kernel/feed.e +++ b/library/text/parser/feed/src/kernel/feed.e @@ -108,6 +108,12 @@ feature -- Element change items.force (a_item) end + prune (a_item: FEED_ITEM) + -- Remove feed item `a_item' from Current list of feed items. + do + items.prune (a_item) + end + extended alias "+" (a_feed: FEED): FEED -- New feed object made from Current merged with a_feed. local