diff options
Diffstat (limited to 'stdlib/obj.mli')
| -rw-r--r-- | stdlib/obj.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/obj.mli b/stdlib/obj.mli index aee5777ac..d70a86415 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -26,5 +26,3 @@ 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" -external marshal : t -> string = "output_value_to_string" -external unmarshal : string -> int -> t * int = "input_value_from_string" |