pool allocator changes and delete[] void*

[Paolo Carlini]

Gabriel Dos Reis wrote:

>Please don't write that.  Say what you mean: Call the deallocation *function*
>
>    operator delete[] (p);
>
Indeed you are right and I wanted to to that in the first place, but 
then noticed
that for consistency we should then change a few more places and come up 
with
something similar to what we already have in new_allocator.h 
(_S_start_free is a char*)

What about the attached?

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_gaby
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031226/73da361a/attachment.ksh>