diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkEvent.c')
-rw-r--r-- | otherlibs/labltk/support/cltkEvent.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/cltkEvent.c b/otherlibs/labltk/support/cltkEvent.c index fecb4244a..e851f472a 100644 --- a/otherlibs/labltk/support/cltkEvent.c +++ b/otherlibs/labltk/support/cltkEvent.c @@ -21,7 +21,7 @@ #include <alloc.h> #include "camltk.h" -value camltk_tk_mainloop(void) /* ML */ +CAMLprim value camltk_tk_mainloop(void) { CheckInit(); @@ -43,7 +43,7 @@ static int event_flag_table[] = { TK_ALL_EVENTS }; -value camltk_dooneevent(value flags) /* ML */ +CAMLprim value camltk_dooneevent(value flags) { int ret; |