diff options
author | François Bobot <francois.bobot@cea.fr> | 2016-07-06 18:34:12 +0200 |
---|---|---|
committer | François Bobot <francois.bobot@cea.fr> | 2016-07-09 21:02:54 +0200 |
commit | bdc138cf82f3d31f4e8eeb3c974f4cb9a1f1e54a (patch) | |
tree | 9dcb1244b27d75d5d4e6557de3de08928e559def /stdlib/gc.ml | |
parent | de1c05c5a74edf3b71214c4c523fd2a5f70d4208 (diff) | |
download | ocaml-bdc138cf82f3d31f4e8eeb3c974f4cb9a1f1e54a.tar.gz |
Add finalise_last without special case during minor
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 4748b215b7..fc04b60645 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -92,6 +92,8 @@ let allocated_bytes () = external finalise : ('a -> unit) -> 'a -> unit = "caml_final_register" +external finalise_last : (unit -> unit) -> 'a -> unit = + "caml_final_register_called_without_value" external finalise_release : unit -> unit = "caml_final_release" |