Re: Crash of Frama-C IDE with OCaml 4.02

It's an old commit, I need to take a deep look at it, especially since
it might well be for something tricky.

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", then "c". Hopefully it will
break right before printing the message and you can isuee "bt" to get a
backtrace that will help understand the issue.

-- 
Adrien Nader