On 30 September 2012 13:37, Gross David wrote: > Hi, > > With libstdc++ 4.7.1, the following basic C++ code doesn't build. I'm > not sure, but it seems I haven't forget to include some header. You haven't, and your patch is required when using an allocator defined outside namespace std. I'll check in the fix, thanks.