[PATCH] Fix PR libstdc++/13462 std::set's pointer is not right

[Gabriel Dos Reis]

Andrew Pinski <pinskia@physics.uc.edu> writes:

| > I prefer the change be
| >
| >    + typedef typename _Alloc::pointer pointer;
| >
| > To rflect Standard wording.  Same for the rest.
| >
| > With those changes, the patch is OK.
| 
| 
| Here is the updated patch (I have not checked it in because there are
| more
| changes I saw that needed to be done like reference was wrong, just
| like how
| pointer was wrong).
| 
| OK?
| 
| ChangeLog:

Add PR number.

It is OK.

-- Gaby