diff options
Diffstat (limited to 'stdlib/obj.ml')
| -rw-r--r-- | stdlib/obj.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/obj.ml b/stdlib/obj.ml index ec1abeb59..13f16db40 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -24,5 +24,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" |