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 f16928fb8..50ed03810 100644 --- a/otherlibs/labltk/support/cltkMisc.c +++ b/otherlibs/labltk/support/cltkMisc.c @@ -23,7 +23,7 @@ #include "camltk.h" /* Parsing results */ -value camltk_splitlist (value v) /* ML */ +CAMLprim value camltk_splitlist (value v) { int argc; char **argv; |