--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on September 2012 ---
On Wed, Sep 12, 2012 at 1:47 AM, Julien Signoles <Julien.Signoles at cea.fr> wrote: > The next release of Frama-C, namely Oxygen, will be fully compatible with > OCaml 4.00.0. Hopefully it will be release very soon. I am glad to hear that. > The patch seems to be correct. Excellent. Thanks for the confirmation, Julien. -- Jerry James http://www.jamezone.org/