[v3] Small follow-up to the hashtable.cc patch

[Paolo Carlini]

Hi,

tested x86_64-linux, committed to mainline.

Paolo.

///////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_hashtable_c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20071203/6812ef81/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_hashtable_c
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20071203/6812ef81/attachment-0001.ksh>