Re: Crash of Frama-C IDE with OCaml 4.02

Hi,

On Wed, Sep 17, 2014, [email protected] wrote:
> Hi,
> 
> On Tue, 16 Sep 2014 21:07:56 +0200
> Adrien Nader <[email protected]> wrote:
> > As for the error mentioned by Yoann, one thing that would be
> > interesting is to run the application under gdb and before
> > reproducing the issue, Ctrl+C from gdb and enter "break fprintf",
> 
> g_log, not fprintf
> 
> this error message was introduced recently:
> https://github.com/GNOME/glib/commit/a919be3d39150328874ff647fb2c2be7af3df996
> 
> Therefore it only affects systems with newer versions of glib.
> 
> In case of ocaml-top, it looks like a bug of ocaml-top, not lablgtk2.
> They return false from a callback (first remove) and also remove the
> event manually (second remove). So the warning message looks reasonable.
> 
> (https://github.com/OCamlPro/ocaml-top/blob/master/src/completion.ml#L142
> )

OK. Thanks for investigation.

-- 
Adrien Nader