diff options
| author | Emilio Jesus Gallego Arias | 2019-07-31 12:30:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-09-19 13:30:05 +0200 |
| commit | 8562093a2337643164670d59d397771b1c881e5b (patch) | |
| tree | 8940d693f47673166d11ca95d8b47f0bb5cf4cdf /kernel/type_errors.ml | |
| parent | c5ecc185ccb804e02ef78012fc6ae38c092cc80a (diff) | |
[ocaml] Allow building with deprecated Obj primitives.
We allow the build to use some deprecated primitives in OCaml
4.09.0, for more details see bug #10602
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions