diff options
Diffstat (limited to 'otherlibs/win32unix/startup.c')
| -rw-r--r-- | otherlibs/win32unix/startup.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index 922a11fa0..ef11de0c9 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -17,7 +17,7 @@ value val_process_id; -value win_startup(unit) +value win_startup(unit) /* ML */ value unit; { WSADATA wsaData; @@ -33,7 +33,7 @@ value win_startup(unit) return Val_unit; } -value win_cleanup(unit) +value win_cleanup(unit) /* ML */ value unit; { (void) WSACleanup(); |