[Patch] Fix libstdc++/12296

[Paolo Carlini]

Hi,

seems straightforward to me.

Tested x86-linux, if nobody complains will commit soon together with
the fix for libstdc++/11400.

Paolo.

////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_12296
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030929/d9d2337d/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_12296
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030929/d9d2337d/attachment-0001.ksh>