"Poul-Henning Kamp" <phk at phk.freebsd.dk> writes: > It clutters up my FlexeLint output because it figures out that > the headers are unused. Then perhaps this should be fixed in the Flexelint configuration. DES -- Dag-Erling Smørgrav Senior Software Developer Linpro AS - www.linpro.no