diff options
-rw-r--r-- | asmrun/signals.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/asmrun/signals.c b/asmrun/signals.c index 5f3046514..000360d25 100644 --- a/asmrun/signals.c +++ b/asmrun/signals.c @@ -152,9 +152,6 @@ void caml_record_signal(int signal_number) void caml_garbage_collection(void) { - int signal_number; - intnat signal_state; - caml_young_limit = caml_young_start; if (caml_young_ptr < caml_young_start || caml_force_major_slice) { caml_minor_collection(); |