Merge branch 'fix/e-acsl/4.10' into 'master'

[e-acsl] Fixes the compilation of a test file with ocaml 4.10.

See merge request frama-c/frama-c!2531