Zdenek Kotala <Zdenek.Kotala@Sun.COM> writes:
>>> During my work I found some header files, which include useless headers
>>> and on other way there are some headers which silently assume that
>>> requested header will be included by some other headers file.
>>
>> Bruce periodically runs a script that's supposed to catch this type
>> of problem. Maybe we are overdue for another run?
> Yes, but This problem is there for long time and I think Bruce's script does not
> catch it.
Exactly what problem do you see that he didn't catch?
regards, tom lane
