[Boost-users] [ptr_list] erase_if issue - bug or feature?