--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on April 2012 ---
On Wed, Apr 11, 2012 at 8:04 PM, Boris Yakobowski <boris at yakobowski.org> wrote: > You can also try to include the > standard library which is packaged by Frama-C (and installed in > $SHARE/frama-c/libc), but before doing so, you should really upgrade > to Nitrogen. And even then, we have patched a few things in these headers since the release, but if you are familiar with C and you encounter a problem you will know what to do. Pascal