diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-14 12:21:31 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-06-04 16:43:10 +0200 |
| commit | 6050b44172660a3285a337896baea35b32e58d47 (patch) | |
| tree | 5bc256ff9506c47b587956e08fb0c91ec709bcd8 /doc | |
| parent | 565d6c5f2fc89cab3b119308fbe2c0edeff033ce (diff) | |
Ensure that warnings new from ocaml > 4.01 remains silent.
Indeed, 8.6 is announced to be compilable with 4.01.0 and it is
convenient not seeing warnings about which nothing can be done.
Remove deprecation warnings new from ocaml 4.03, as well as warning 52.
This is a partial cherry-pick of a77734ad6.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions