On Fri, Aug 15, 2014 at 09:50:41PM +0200, Gabriel Kerneis wrote: > This is a bug. Could you please submit it on github or sourceforge so > that I don't forget about it?
Well, maybe it's not in fact. I'll have to check the standard. But I would appreciate a report anyway. Thanks, -- Gabriel ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
