--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on November 2012 ---
> On Fri, Nov 16, 2012 at 12:34 PM, Anne Pacalet wrote: > I will carefully re-read it again since it is not obvious for me > at the moment that it is the same problem... Le 16/11/2012 12:39, Boris Yakobowski wrote : > I can assure you it is :-) I didn't want to say it isn't : of course you must be right ;-) > No. The \null part was definitely related only to the old question. Ok. Thanks again, -- Anne.