diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index b4c131ad4..c31e6c3ab 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -7,7 +7,7 @@ external magic : 'a -> 'b = "%identity" external is_block : t -> bool = "obj_is_block" external tag : t -> int = "%tagof" external size : t -> int = "%array_length" -external field : t -> int -> t = "%array_get" -external set_field : t -> int -> t -> unit = "%array_set" +external field : t -> int -> t = "%array_unsafe_get" +external set_field : t -> int -> t -> unit = "%array_unsafe_set" external new_block : int -> int -> t = "obj_block" external update : t -> t -> unit = "%update" |