diff options
Diffstat (limited to 'byterun/signals.h')
| -rw-r--r-- | byterun/signals.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/signals.h b/byterun/signals.h index d77917ef8..e1b5df190 100644 --- a/byterun/signals.h +++ b/byterun/signals.h @@ -37,6 +37,7 @@ void caml_urge_major_slice (void); CAMLextern int caml_convert_signal_number (int); CAMLextern int caml_rev_convert_signal_number (int); void caml_execute_signal(int signal_number, int in_signal_handler); +void caml_record_signal(int signal_number); void caml_process_event(void); CAMLextern void (*caml_enter_blocking_section_hook)(void); |