summaryrefslogtreecommitdiff
path: root/bytecomp/meta.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/meta.mli')
-rw-r--r--bytecomp/meta.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/meta.mli b/bytecomp/meta.mli
index de21a36168..3de027f19c 100644
--- a/bytecomp/meta.mli
+++ b/bytecomp/meta.mli
@@ -18,6 +18,7 @@ external global_data : unit -> Obj.t array = "caml_get_global_data"
external realloc_global_data : int -> unit = "caml_realloc_global"
external static_alloc : int -> string = "caml_static_alloc"
external static_free : string -> unit = "caml_static_free"
+external static_release_bytecode : string -> int -> unit = "caml_static_release_bytecode"
external static_resize : string -> int -> string = "caml_static_resize"
type closure = unit -> Obj.t
external reify_bytecode : string -> int -> closure = "caml_reify_bytecode"