[splint-discuss] Postconditions for function with @ensures maxSet@

[Bill Pringlemeir]

On 15 Jan 2010, m at alanny.ru wrote:

> Hi there. I'm having trouble with @ensures maxSet@ annotation.

> As you can see, annotations on declaration and definition are the same. But
> 	error arrives.

> Where is my mistake?

You only need to define an annotation once.  I would suggest that you
always do it with the prototype unless you are relying on the function
definition's position within the file (and have no prototype).

-- 
If it weren't for pickpockets I'd have no sex life at all. 
- Rodney Dangerfield