Re: [PATCH 12/15] Add target/symbol.h, update users

Tom Tromey
2014-07-17T16:52:22Z

>>>>> "Gary" == Gary Benson <gbenson@redhat.com> writes:

Gary> It may be that Tom created the file anticipating other functions
Gary> that will go there in future.

If I remember correctly I think I did it just to try to separate out
different conceptual bits. I don't really care much about it per se, I
just think it would be nice if we could avoid the current problem of
header files full of unsorted goo. Though admittedly a single
declaration in a single file hardly makes a dent.

Tom