I want to know what this message mean: "Type exported, but not specified:" Regards -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20060725/5f11071e/attachment.htm