diff options
| author | Guillaume Melquiond | 2020-03-09 15:15:44 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-03-09 15:15:44 +0100 |
| commit | 4666a8b9596f8cb87b63c345f6e57348f0bfda6d (patch) | |
| tree | 8859730145ab59400fd1cbd5055b72f876ec3d0b /kernel/type_errors.mli | |
| parent | a028a97005b88a66a9d6dbaa4f0ade38859beffb (diff) | |
Do not rely on the implicit declaration of caml_minor_collection.
This commit also prefixes young_ptr and young_limit along the way, so as
to not rely on OCaml's compatibility layer. This is a gratuitous change,
since this code is only meant to be compiled with OCaml < 4.10 anyway.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions