[v3] Minor tweak to the last commit

[Paolo Carlini]

Hi,

tested x86_64-linux, committed to mainline.

Paolo.

////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_33979_t1.txt
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20080821/699d093d/attachment.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_33979_t1.txt
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20080821/699d093d/attachment-0001.txt>