On Tue, Dec 15, 2009 at 09:26:24PM -0500, Elnatan Reisner wrote: > I'm attaching a patch representing my more complete and simpler > solution. (It is against the current svn revision, 11508.) > I tested this out on a few small examples that triggered the bug; if > anyone wants to see those examples, let me know.
Committed in r11872. Using git-svn, I just figured out that I forgot to mention your name in the commit message, and svn is unable to convey the information (in my original git patch, the author field was filled with your name). I deeply apologize for this. Many thanks for your contribution, -- Gabriel Kerneis ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
