This is [should be] fixed in the latest CVS source.  Splint has no
release for this yet.  Thanks for reporting it.




-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to