diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2004-06-14 13:27:42 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2004-06-14 13:27:42 +0000 |
commit | cd64d89caf1fa04fcdddf45ec0e8c16df5b69242 (patch) | |
tree | 82f45080344ffd4811fbe640da58fb605a575562 /stdlib/gc.ml | |
parent | 999ba4d80562f404506698cf0719a278debca5a4 (diff) | |
download | ocaml-cd64d89caf1fa04fcdddf45ec0e8c16df5b69242.tar.gz |
finalisation dans l'ordre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index e4a15aea66..7299ff867c 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -78,6 +78,7 @@ let allocated_bytes () = ;; external finalise : ('a -> unit) -> 'a -> unit = "caml_final_register";; +external finalise_release : unit -> unit = "caml_final_release";; type alarm = bool ref;; |