[v3] Very minor tweak to the last commit

[Paolo Carlini]

Hi,

committed to mainline.

Paolo.

///////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_config_m2.txt
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20080824/3a5b102d/attachment.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_config_m2.txt
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20080824/3a5b102d/attachment-0001.txt>