diff options
Diffstat (limited to 'otherlibs/unix/cstringv.c')
| -rw-r--r-- | otherlibs/unix/cstringv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c index 04da30c24..d85411007 100644 --- a/otherlibs/unix/cstringv.c +++ b/otherlibs/unix/cstringv.c @@ -21,7 +21,7 @@ char ** cstringvect(value arg) mlsize_t size, i; size = Wosize_val(arg); - res = (char **) stat_alloc((size + 1) * sizeof(char *)); + res = (char **) caml_stat_alloc((size + 1) * sizeof(char *)); for (i = 0; i < size; i++) res[i] = String_val(Field(arg, i)); res[size] = NULL; return res; |