On 12/11/06, Rafael EspĂndola <rafael.espindola at gmail.com> wrote: > > Looks good, one request though: if practical, it would be nice to switch > > this to be set<GlobalValue*> instead of set<std::string>. > > Attached OK to commit? Rafael