diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-12-10 14:45:58 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-12-10 14:45:58 +0000 |
commit | 6063edc759a63e95bba8f155bd54864e718e684d (patch) | |
tree | 078632d03a74e2d7d273de747bb401c91709c3fb /otherlibs/win32unix/unixsupport.c | |
parent | fa45b038f6802570d76c0f0a2c353bdbb37f2722 (diff) |
Mise a jour pour Win32
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
-rw-r--r-- | otherlibs/win32unix/unixsupport.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c index a44b502ce..029301454 100644 --- a/otherlibs/win32unix/unixsupport.c +++ b/otherlibs/win32unix/unixsupport.c @@ -12,6 +12,7 @@ /* $Id$ */ #include <mlvalues.h> +#include <callback.h> #include <alloc.h> #include <memory.h> #include <fail.h> @@ -103,7 +104,7 @@ void unix_error(errcode, cmdname, cmdarg) Field(res, 3) = arg; Pop_roots(); #undef name -#under arg +#undef arg mlraise(res); } |