Re: random numbers in bulk

[Ulrich Drepper]

On Sun, Aug 26, 2012 at 10:04 AM, Daniel Krügler
<daniel.krueg...@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.