[Patch] Fix libstdc++/10378 (DR 402 [Ready])

[Paolo Carlini]

Hi,

seems quite obvious but I will wait 'til tomorrow just in case...

Tested x86-linux.

Paolo.

///////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_10378
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031130/ca93ae88/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_10378
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031130/ca93ae88/attachment-0001.ksh>