--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on September 2012 ---
Hello, Thanks for packaging Frama-C, and for this thorough bug-searching ! Based on our own (painful) migration to OCaml 4.00, I think another bug awaits you. Frama-C hardcodes the Caml representation of some datatstructures of the standard library, such a hash tables and sets. Hash tables have gained two fields since OCaml 3.12.1, so this code no longer works. If you choose to package a combo Nitrogen+OCaml 4.00, I could probably provide you with some partial patches extracted from our trunk to fix this. HTH, -- Boris Yakobowski