diff options
Diffstat (limited to 'otherlibs/win32unix/system.c')
| -rw-r--r-- | otherlibs/win32unix/system.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c index fe453dcf9..fe2bcce5c 100644 --- a/otherlibs/win32unix/system.c +++ b/otherlibs/win32unix/system.c @@ -19,7 +19,7 @@ #include <process.h> #include <stdio.h> -value win_system(cmd) /* ML */ +CAMLprim value win_system(cmd) value cmd; { int ret; |