Re: [boost] Weird behaviour/bug in ptr_map