Crash of Frama-C IDE with OCaml 4.02

Hi all,

Frama-C's IDE is segfaulting when compiled with OCaml 4.02, typically
using the version of Lablgtk present in Opam
(https://bts.frama-c.com/view.php?id=1919, in particular for the
backtrace). The problem disappears when we deactive all calls to the
method #set_bounds on GData#adjustment.

Interestingly, the GIT version of Lablgtk seems to correct this
problem, although no commit is identified as fixing such a crash. Does
anyone have an idea on what happens, and would it be possible to get a
new release of Lablgtk so that we could depend on it ?

Thanks,

-- 
Boris