diff options
Diffstat (limited to 'byterun/gc_ctrl.h')
| -rw-r--r-- | byterun/gc_ctrl.h | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/byterun/gc_ctrl.h b/byterun/gc_ctrl.h index 8b8b89dae..b5a2e87f7 100644 --- a/byterun/gc_ctrl.h +++ b/byterun/gc_ctrl.h @@ -19,24 +19,24 @@ #include "misc.h" extern double - stat_minor_words, - stat_promoted_words, - stat_major_words; + caml_stat_minor_words, + caml_stat_promoted_words, + caml_stat_major_words; extern long - stat_minor_collections, - stat_major_collections, - stat_heap_size, - stat_top_heap_size, - stat_compactions, - stat_heap_chunks; + caml_stat_minor_collections, + caml_stat_major_collections, + caml_stat_heap_size, + caml_stat_top_heap_size, + caml_stat_compactions, + caml_stat_heap_chunks; -void init_gc (unsigned long, unsigned long, unsigned long, - unsigned long, unsigned long); +void caml_init_gc (unsigned long, unsigned long, unsigned long, + unsigned long, unsigned long); #ifdef DEBUG -void heap_check (void); +void caml_heap_check (void); #endif #endif /* CAML_GC_CTRL_H */ |