WONDERFUL! So, I assume if I pull the git repo and include your pull request and build splint myself, I should be good to go. I’ll give that a try.
Thank you, Robert. On Aug 29, 2016, at 2:07 PM, Robert Morin <robert.mo...@gmail.com> wrote: Hi, I tried your code with my fix and it's passing with no problem now. Robert _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
