diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-07-24 09:05:25 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-07-24 09:05:25 +0000 |
| commit | 9ce02c4cc3cd485fd0f9778e68995c136b843945 (patch) | |
| tree | 5621d4b7f1147ebcac3b478a414b6618384c8b38 /otherlibs/win32unix/unixsupport.h | |
| parent | 3dbeaba2513f003aebcd524a0eed2310a26b83fc (diff) | |
Ajout comparaisons et hashing sur les handles (PR#439). A tester
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.h')
| -rw-r--r-- | otherlibs/win32unix/unixsupport.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/win32unix/unixsupport.h b/otherlibs/win32unix/unixsupport.h index e97c2543e..303f8905a 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -21,7 +21,7 @@ #include <direct.h> #include <process.h> -#define Handle_val(v) (*((HANDLE *)(v))) +#define Handle_val(v) (*((HANDLE *) Data_custom_val(v))) extern value win_alloc_handle(HANDLE); |