It does look similar. However, I haven’t dipped as deep down into the issue to confirm.
P. Todd On Aug 29, 2016, at 6:32 AM, Robert Morin <robert.mo...@gmail.com> wrote: Hi, sorry for not replying correctly, I've just enable my splint archive account. I've submitted a pull request to revenexp not long ago for this problem: https://github.com/ravenexp/splint/pull/1 <https://github.com/ravenexp/splint/pull/1> Take a look, it's looking quite similar. 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
