---
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
- Subject: [Frama-c-discuss] Problems with Frama-C libc
- From: anne.pacalet at free.fr (Anne Pacalet)
- Date: Wed, 18 Jan 2012 16:36:18 +0100
- In-reply-to: <CABbVA-A68hQ=rsXMT+LHvhEy_6RmNY41PvSRdT6xdJ3ODSCAoA@mail.gmail.com>
- References: <4F1693C8.9040409@free.fr> <CABbVA-Aptsb4m3=JdO+2mfJh-G-F8icf4yoSKKxSPFvfNjJ3HQ@mail.gmail.com> <CABbVA-A68hQ=rsXMT+LHvhEy_6RmNY41PvSRdT6xdJ3ODSCAoA@mail.gmail.com>
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.