summaryrefslogtreecommitdiff
path: root/stdlib/marshal.mli
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-02 13:42:19 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-02 13:42:19 +0000
commitfe2e11a8fb4dcf166ffb7f91e6eb8dd0f4402f25 (patch)
tree8dff8da7bfc88f25c78afe5340d78daa8c89587c /stdlib/marshal.mli
parent7e053c39de8693928b83038c1727f5d90228c39d (diff)
downloadocaml-strict_labels.tar.gz
remove doublonsstrict_labels
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/strict_labels@3687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/marshal.mli')
-rw-r--r--stdlib/marshal.mli2
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli
index 36ae1c9550..b3bfcba800 100644
--- a/stdlib/marshal.mli
+++ b/stdlib/marshal.mli
@@ -85,8 +85,6 @@ external to_string: 'a -> extern_flags list -> string
[Marshal.to_channel]. *)
val to_buffer: string -> int -> int -> 'a -> extern_flags list -> int
-val to_buffer':
- buf:string -> pos:int -> len:int -> 'a -> mode:extern_flags list -> int
(* [Marshal.to_buffer buff ofs len v flags] marshals the value [v],
storing its byte representation in the string [buff],
starting at character number [ofs], and writing at most