diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-02 19:23:29 +0000 |
| commit | 0c7aecb88dc696f66f49f3bed54a037361a26b8d (patch) | |
| tree | 32bde8a45b8881d3d121fd39cc1270980f596096 /byterun/finalise.h | |
| parent | 7ba8c1ca1d044232ed6d81d04a8c46800cf15097 (diff) | |
depollution suite (et fin?) (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 */ |