summaryrefslogtreecommitdiff
path: root/bytecomp/translobj.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/translobj.mli')
-rw-r--r--bytecomp/translobj.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/translobj.mli b/bytecomp/translobj.mli
index d6e432da5c..26fa504b45 100644
--- a/bytecomp/translobj.mli
+++ b/bytecomp/translobj.mli
@@ -24,5 +24,7 @@ val transl_label_init: lambda -> lambda
val transl_store_label_init:
Ident.t -> int -> ('a -> lambda) -> 'a -> int * lambda
+val method_ids: IdentSet.t ref (* reset when starting a new wrapper *)
+
val oo_wrap: Env.t -> bool -> ('a -> lambda) -> 'a -> lambda
val oo_add_class: Ident.t -> Env.t * bool