[v3] Small tweak to std::random_device

[Paolo Carlini]

Hi,

committed to mainline.

Thanks,
Paolo.

/////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110525/37dbf5ff/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patchlet
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110525/37dbf5ff/attachment-0001.ksh>