[Bug c++/87017] vector must have the same value as its allocator

[development@faf-ltd.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87017

Peter VARGA <development@faf-ltd.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |FIXED

--- Comment #3 from Peter VARGA <development@faf-ltd.com> ---
Jonathan, I thank you very much for your clear and simple explanation.

I have fixed it now as you suggested according to the standard!