"@tiny" statement

[Filippo Ferrara]

Hi to everybody
I have some problem with the "Cosmic" compiler statement @tiny which is not
recognised by Splint.
What can I do to make Splint ignore "@tiny" (without commenting it)?
or what ca I do to Splint to recognise such statement?
Filippo Ferrara