diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkMisc.c')
| -rw-r--r-- | otherlibs/labltk/support/cltkMisc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/cltkMisc.c b/otherlibs/labltk/support/cltkMisc.c index a89ea341f1..52c5d48468 100644 --- a/otherlibs/labltk/support/cltkMisc.c +++ b/otherlibs/labltk/support/cltkMisc.c @@ -55,7 +55,7 @@ CAMLprim value camltk_splitlist (value v) char *string_to_c(value s) { int l = string_length(s); - char *res = stat_alloc(l + 1); + char *res = caml_stat_alloc(l + 1); memmove (res, String_val (s), l); res[l] = '\0'; return res; |