--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problems with Frama-C libc



Le 18/01/2012 13:42, Boris Yakobowski a ?crit :
> Hopefully, applying the attached patch should fix your problem.

It is working indeed.
Thanks Boris !

-- 
Anne.