diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index 247f4cdf5..8fe21c7f6 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -6,7 +6,7 @@ external repr : 'a -> t = "%identity" external magic : 'a -> 'b = "%identity" external is_block : t -> bool = "obj_is_block" external tag : t -> int = "obj_tag" -external size : t -> int = "%array_length" -external field : t -> int -> t = "%array_unsafe_get" -external set_field : t -> int -> t -> unit = "%array_unsafe_set" +external size : t -> int = "%obj_size" +external field : t -> int -> t = "%obj_field" +external set_field : t -> int -> t -> unit = "%obj_set_field" external new_block : int -> int -> t = "obj_block" |