diff options
Diffstat (limited to 'stdlib/obj.mli')
| -rw-r--r-- | stdlib/obj.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 7e2d966bb..247f4cdf5 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -10,4 +10,3 @@ 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 new_block : int -> int -> t = "obj_block" -external update : t -> t -> unit = "%update" |