summaryrefslogtreecommitdiffstats
path: root/bytecomp/translobj.ml
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/translobj.ml')
-rw-r--r--bytecomp/translobj.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/translobj.ml b/bytecomp/translobj.ml
index 9899e44b3..e97fbfc13 100644
--- a/bytecomp/translobj.ml
+++ b/bytecomp/translobj.ml
@@ -123,6 +123,7 @@ let transl_store_label_init glob size f arg =
let wrapping = ref false
let top_env = ref Env.empty
let classes = ref []
+let method_ids = ref IdentSet.empty
let oo_add_class id =
classes := id :: !classes;
@@ -138,6 +139,7 @@ let oo_wrap env req f x =
cache_required := req;
top_env := env;
classes := [];
+ method_ids := IdentSet.empty;
let lambda = f x in
let lambda =
List.fold_left