diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-12-15 18:37:24 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-12-15 18:37:24 +0000 |
| commit | a90b6e9d1279612493dec0a50185bcdc8392807c (patch) | |
| tree | 674558b216d2c220e01293b784c202c41bd00566 /byterun/win32.c | |
| parent | 1a9f5599ddaf9dc3798f0892786a46ac9b73bbb1 (diff) | |
decontamination (PR#1914, PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/win32.c')
| -rw-r--r-- | byterun/win32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/win32.c b/byterun/win32.c index ab08b3af0..095c40d2d 100644 --- a/byterun/win32.c +++ b/byterun/win32.c @@ -376,7 +376,7 @@ void caml_signal_thread(void * lpParam) char iobuf[2]; /* This shall always return a single character */ ret = ReadFile(h, iobuf, 1, &numread, NULL); - if (!ret || numread != 1) sys_exit(Val_int(2)); + if (!ret || numread != 1) caml_sys_exit(Val_int(2)); switch (iobuf[0]) { case 'C': pending_signal = SIGINT; |