diff options
Diffstat (limited to 'byterun/memory.c')
-rw-r--r-- | byterun/memory.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/byterun/memory.c b/byterun/memory.c index 529e5b248..54d91c96d 100644 --- a/byterun/memory.c +++ b/byterun/memory.c @@ -581,14 +581,6 @@ CAMLexport void * caml_stat_alloc (asize_t sz) return result; } -CAMLexport char * caml_stat_alloc_string(value str) -{ - mlsize_t sz = caml_string_length(str) + 1; - char * p = caml_stat_alloc(sz); - memcpy(p, String_val(str), sz); - return p; -} - CAMLexport void caml_stat_free (void * blk) { free (blk); |