diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkMisc.c')
| -rw-r--r-- | otherlibs/labltk/support/cltkMisc.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/otherlibs/labltk/support/cltkMisc.c b/otherlibs/labltk/support/cltkMisc.c index 8bd6d323a..2640427a7 100644 --- a/otherlibs/labltk/support/cltkMisc.c +++ b/otherlibs/labltk/support/cltkMisc.c @@ -15,15 +15,15 @@ /* $Id$ */ +#include <string.h> #include <tcl.h> #include <tk.h> -#include <caml/mlvalues.h> -#include <caml/memory.h> +#include <mlvalues.h> +#include <memory.h> #include "camltk.h" /* Parsing results */ -value camltk_splitlist (v) /* ML */ - value v; +value camltk_splitlist (value v) /* ML */ { int argc; char **argv; @@ -46,8 +46,7 @@ value camltk_splitlist (v) /* ML */ } /* Copy a Caml string to the C heap. Should deallocate with stat_free */ -char *string_to_c(s) - value s; +char *string_to_c(value s) { int l = string_length(s); char *res = stat_alloc(l + 1); |