diff options
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;; |