On Sun, Aug 26, 2012 at 10:04 AM, Daniel Krügler <daniel.kruegler@gmail.com> wrote: > The typedef "pointer" should be removed, because it is not used at all. That 'pointer' type is needed for the __normal_iterator use. Unfortunately.