On 15 Jan 2010, m...@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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss