[Patch] libstdc++/13943

[Paolo Carlini]

Hi,

the below is what I have. As you can see, the PR is pretty old, closed
by mistake, then reopened today. Those special circumstances may explain
why the problem is still there: in the light of the present neighboring
code the fix seems rather simple, actually...

... nonetheless, I would appreciate a lot if Gaby could double check it ;)

Paolo.

/////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_13943
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20050522/54e03b31/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_13943
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20050522/54e03b31/attachment-0001.ksh>