diff options
Diffstat (limited to 'byterun/memory.h')
| -rw-r--r-- | byterun/memory.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/byterun/memory.h b/byterun/memory.h index d1c8f9917..076107017 100644 --- a/byterun/memory.h +++ b/byterun/memory.h @@ -41,7 +41,6 @@ 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. */ |