diff options
Diffstat (limited to 'stdlib/camlinternalOO.ml')
| -rw-r--r-- | stdlib/camlinternalOO.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/camlinternalOO.ml b/stdlib/camlinternalOO.ml index db3aef73df..6d78714655 100644 --- a/stdlib/camlinternalOO.ml +++ b/stdlib/camlinternalOO.ml @@ -18,8 +18,7 @@ open Obj (**** Object representation ****) let last_id = ref 0 -let new_id () = - let id = !last_id in incr last_id; id +let () = Callback.register "CamlinternalOO.last_id" last_id let set_id o id = let id0 = !id in |