diff options
Diffstat (limited to 'byterun/finalise.h')
| -rw-r--r-- | byterun/finalise.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/byterun/finalise.h b/byterun/finalise.h index ca9cc2951..ec656f4f4 100644 --- a/byterun/finalise.h +++ b/byterun/finalise.h @@ -18,12 +18,12 @@ #include "roots.h" -void final_update (void); -void final_do_calls (void); -void final_do_strong_roots (scanning_action f); -void final_do_weak_roots (scanning_action f); -void final_do_young_roots (scanning_action f); -void final_empty_young (void); -value final_register (value f, value v); +void caml_final_update (void); +void caml_final_do_calls (void); +void caml_final_do_strong_roots (scanning_action f); +void caml_final_do_weak_roots (scanning_action f); +void caml_final_do_young_roots (scanning_action f); +void caml_final_empty_young (void); +value caml_final_register (value f, value v); #endif /* CAML_FINALISE_H */ |