--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on September 2009 ---
Hello, In fact, this discussion was intended to another mailing list. I apologize for the noice I made in french to this discussion channel. Patrick. -- Patrick Baudin, CEA, LIST, SOL, F-91191 Gif-sur-Yvette cedex, France. tel: +33 (0)1 6908 2072