diff options
Diffstat (limited to 'stdlib/sys.ml')
| -rw-r--r-- | stdlib/sys.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index ae1494555..c2be9c9de 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -37,7 +37,8 @@ type signal_behavior = | Signal_ignore | Signal_handle of (int -> unit) -external signal: int -> signal_behavior -> unit = "install_signal_handler" +external signal: int -> signal_behavior -> signal_behavior + = "install_signal_handler" let sigabrt = -1 let sigalrm = -2 @@ -67,4 +68,5 @@ let catch_break on = if on then signal sigint (Signal_handle(fun _ -> raise Break)) else - signal sigint Signal_default + signal sigint Signal_default; + () |