--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on October 2011 ---
On Thu, 2011-10-27 at 16:47 +0200, Claude Marche wrote: > It would be very kind of you if could submit a bug report *and* > provide the cc.mlw file (and even the cc.c file if possible) > Alright, so it's a bug. I wasn't sure if just some command line or configuration options had changed. -- Best regards, Boris Hollas -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111027/ad698ae4/attachment.htm>