Re: Unneccessary helper function

[David Philippi]

On Friday 07 June 2002 20:51, David Philippi wrote:
> I'd propose to remove the helper and ask everyone to remember the correct
> method of list. It's unfortunate that some methods have different names
> across different containers.

Correcting myself *g* : merge() has the disadvantage of clearing the list 
beeing inserted, but there's still 
void insert(iterator i, InIter start, InIter end)
which can be used like 
my_list.insert( my_list.end(), append_list.begin(), append_list.end() )

Bye David