diff options
Diffstat (limited to 'byterun/gc_ctrl.h')
| -rw-r--r-- | byterun/gc_ctrl.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/byterun/gc_ctrl.h b/byterun/gc_ctrl.h index 5f9d87354d..de6933e8ab 100644 --- a/byterun/gc_ctrl.h +++ b/byterun/gc_ctrl.h @@ -29,6 +29,8 @@ extern intnat caml_stat_compactions, caml_stat_heap_chunks; +uintnat caml_normalize_heap_increment (uintnat); + void caml_init_gc (uintnat, uintnat, uintnat, uintnat, uintnat); |