Re: [Boost-users] ptr_set problems