[Patch] libstdc++/31556

[Paolo Carlini]

Hi,

this is what I mean to commit for the second issue filed yesterday. 
Tested x86-linux.

Paolo.

///////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_31556
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20070413/201e3bbe/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_31556
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20070413/201e3bbe/attachment-0001.ksh>