Hey Naveen, That did the trick. But it's a pain to declare all the variables in advance as it clutters up a logical block of flow. But at least that makes me proceed ahead with the rest of the work. Will use that. Thanks for the prompt and clear response.
Cheers, Saurabh. _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss