diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkDMain.c')
| -rw-r--r-- | otherlibs/labltk/support/cltkDMain.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/cltkDMain.c b/otherlibs/labltk/support/cltkDMain.c index 04af209de..58374d8a3 100644 --- a/otherlibs/labltk/support/cltkDMain.c +++ b/otherlibs/labltk/support/cltkDMain.c @@ -162,7 +162,7 @@ int CamlRunCmd(dummy, interp, argc, argv) + trail.symbol_size + trail.debug_size), 2); code_size = trail.code_size; - start_code = (code_t) stat_alloc(code_size); + start_code = (code_t) caml_stat_alloc(code_size); if (read(fd, (char *) start_code, code_size) != code_size) fatal_error("Fatal error: truncated bytecode file.\n"); @@ -215,7 +215,7 @@ int Caml_Init(interp) { char *home = getenv("HOME"); if (home != NULL) { - char *f = stat_alloc(strlen(home)+strlen(RCNAME)+2); + char *f = caml_stat_alloc(strlen(home)+strlen(RCNAME)+2); f[0]='\0'; strcat(f, home); strcat(f, "/"); |