[PATCH] Rename *_NAMESPACE enum

[David Carlton]

On Mon, 12 May 2003 14:42:23 -0400, Elena Zannoni <ezannoni@redhat.com> said:

> While looking at David's namespace patches I kept getting entangled in
> the gdb's notion of namespace (the enum_namespace) and the c++
> namespaces. Especially now, that some functions have both an
> enum_namespace parameter and a cp_namespace parameter type, it is
> becoming hard to keep in mind what parameter is what.

> So I renamed the whole lot to
> enum_domain and *_DOMAIN.

You are my hero. :-)  I would have proposed something like this except
that I couldn't think of any good terminology; if you like domain, I
certainly won't complain.

David Carlton
carlton@math.stanford.edu