[Patch] Fix libstdc++/13007

Thu Nov 13 10:03:00 GMT 2003

Hi,

this is quite straightforward, after all: PÃ©tur noticed a glitch in
a first draft, but otherwise...

Tested x86-linux, if nobody objects will commit later today.

Paolo.

////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_13007
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031113/2327185e/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_13007
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20031113/2327185e/attachment-0001.ksh>