unordered set design modification

[Paolo Carlini]

Hi,

On 10/22/2012 12:21 AM, Jonathan Wakely wrote:
> But since we still need to exploit the EBO for the node allocator,
Indeed, sigh. Matt is to blame about this ;)
> Unless Paolo has any other comments about the patch then it's OK with
> the comment fixes.
Surely Ok.

Paolo.