diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2006-09-21 09:41:04 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2006-09-21 09:41:04 +0000 |
| commit | 3c809eac6656d257676438d8adb7bd58d9a18a43 (patch) | |
| tree | bbafb5c21a54647e174cc1a2908445a2c9718c90 /otherlibs/win32unix/unixsupport.h | |
| parent | 840e64f9b15d5f34b44ffb7417180f3cd030163b (diff) | |
Continuation of tentative fix for PR#4098
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.h')
| -rw-r--r-- | otherlibs/win32unix/unixsupport.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/win32unix/unixsupport.h b/otherlibs/win32unix/unixsupport.h index da5f47cff..195db0351 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -39,6 +39,7 @@ struct filedescr { extern value win_alloc_handle_or_socket(HANDLE); extern value win_alloc_handle(HANDLE); extern value win_alloc_socket(SOCKET); +extern int win_CRT_fd_of_filedescr(value handle); #define NO_CRT_FD (-1) #define Nothing ((value) 0) |