diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkMain.c')
| -rw-r--r-- | otherlibs/labltk/support/cltkMain.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/cltkMain.c b/otherlibs/labltk/support/cltkMain.c index 8751334c5..871a47ac1 100644 --- a/otherlibs/labltk/support/cltkMain.c +++ b/otherlibs/labltk/support/cltkMain.c @@ -113,7 +113,7 @@ CAMLprim value camltk_opentk(value argv) char **tkargv; char argcstr[256]; /* string of argc */ - tkargv = (char**)stat_alloc(sizeof( char* ) * argc ); + tkargv = (char**)caml_stat_alloc(sizeof( char* ) * argc ); tmp = Field(argv, 1); /* starts from argv[1] */ i = 0; @@ -157,7 +157,7 @@ CAMLprim value camltk_opentk(value argv) { 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, "/"); |