[Patch] Fix libstdc++/12657

[Paolo Carlini]

Hi,

seems straightforward to me... Will wait a bit for comments,
then commit to mainline.

Tested x86-linux.

Paolo.

///////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_12657
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031022/e3976145/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_12657
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031022/e3976145/attachment-0001.ksh>