On Sun, Aug 26, 2012 at 10:04 AM, Daniel Krügler
<[email protected]> 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.

Reply via email to