diff options
Diffstat (limited to 'stdlib/obj.mli')
| -rw-r--r-- | stdlib/obj.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 0a3be860a..c854da66e 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -27,9 +27,9 @@ external tag : t -> int = "obj_tag" 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 -> len:int -> t = "obj_block" +external new_block : int -> int -> t = "obj_block" external dup : t -> t = "obj_dup" -external truncate : t -> len:int -> unit = "obj_truncate" +external truncate : t -> int -> unit = "obj_truncate" val no_scan_tag : int val closure_tag : int |