diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-28 14:47:48 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-28 14:47:48 +0000 |
| commit | ddd99c7e5d2f0f8e7364e8521fa7e8308999344e (patch) | |
| tree | 3c0158d035a52c0cf185c08c3288c3c76d6718d0 /otherlibs/win32unix/unixsupport.h | |
| parent | c345611817d76ccc3bbd02db1f942774220739f9 (diff) | |
Chargement dynamique de primitives C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 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 303f8905a..ec363780a 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -27,6 +27,7 @@ extern value win_alloc_handle(HANDLE); #define Nothing ((value) 0) +extern void win32_maperr(unsigned long errcode); extern void unix_error (int errcode, char * cmdname, value arg); extern void uerror (char * cmdname, value arg); extern value unix_freeze_buffer (value); |