[Patch] Fix libstdc++/12232

[Paolo Carlini]

Well... forgot the patch! ;)

Paolo.

//////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_12232_3
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031002/5fc31119/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_12232_3
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031002/5fc31119/attachment-0001.ksh>