diff options
Diffstat (limited to 'otherlibs/win32unix/startup.c')
-rw-r--r-- | otherlibs/win32unix/startup.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index 98ab45a99..ae584e569 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -41,12 +41,3 @@ CAMLprim value win_cleanup(unit) (void) WSACleanup(); return Val_unit; } - -static int std_handles[3] = { - STD_INPUT_HANDLE, STD_OUTPUT_HANDLE, STD_ERROR_HANDLE -}; - -CAMLprim value win_stdhandle(value nhandle) -{ - return win_alloc_handle_or_socket(GetStdHandle(std_handles[Int_val(nhandle)])); -} |