diff options
Diffstat (limited to 'byterun/memory.h')
| -rw-r--r-- | byterun/memory.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/memory.h b/byterun/memory.h index 076107017..d1c8f9917 100644 --- a/byterun/memory.h +++ b/byterun/memory.h @@ -41,6 +41,7 @@ CAMLextern void caml_modify (value *, value); CAMLextern void caml_initialize (value *, value); CAMLextern value caml_check_urgent_gc (value); CAMLextern void * caml_stat_alloc (asize_t); /* Size in bytes. */ +CAMLextern char * caml_stat_alloc_string (value); CAMLextern void caml_stat_free (void *); CAMLextern void * caml_stat_resize (void *, asize_t); /* Size in bytes. */ char *caml_alloc_for_heap (asize_t request); /* Size in bytes. */ |