[Patch] Fix libstdc++/13582 (take2)

Fri Jan 9 22:37:00 GMT 2004

Boia deh! (*)

The below addresses PÃ©tur's very useful comments. I hope
everything is Ok, now.

Tested x86-linux. Usual policy...

Paolo.

(*) Only for citizens of Livorno, Tuscany.

////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_13582_2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20040109/4fc53d55/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_13582_2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20040109/4fc53d55/attachment-0001.ksh>