The problem came up again recently in my research group and, while a workaround was possible, I decided to try to fix the problem once and for all. My old patch fixed only a piece of this problem, and the patch was more complicated than it needed to be (because it tried to do some error checking that is probably not CIL's job). 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.
-Elnatan
fix_label_name_conflicts.diff
Description: Binary data
------------------------------------------------------------------------------ This SF.Net email is sponsored by the Verizon Developer Community Take advantage of Verizon's best-in-class app development support A streamlined, 14 day to market process makes app distribution fast and easy Join now and get one step closer to millions of Verizon customers http://p.sf.net/sfu/verizon-dev2dev
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
