Andrew Haley writes: > Tom Tromey writes: > > >>>>> "Andrew" == Andrew Haley <aph@cambridge.redhat.com> writes: > > > > Another choice would be to simply put the attribute on the Class class > > itself. Why not do it there? > > Yes. I mean yes, there's no reason not to do this. Andrew.