diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2011-10-28 21:16:36 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2011-10-28 21:16:36 +0000 |
| commit | e2c3a9996dbc3dd6e1ee6f52154cf4c3aba4e767 (patch) | |
| tree | 9b0c6cc5cdb996e1cafba1f9d5e994ac54c68d91 | |
| parent | 7dc1899f9e5db08611c661fd76fc274e4840a897 (diff) | |
Typo in doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/marshal.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index 800f061e3..90e6dbffe 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -115,7 +115,7 @@ val header_size : int {!Marshal.data_size}[ buff ofs] is the size, in characters, of the data part, assuming a valid header is stored in [buff] starting at position [ofs]. - Finally, {!Marshal.total_size}[ buff ofs] is the total size, + Finally, {!Marshal.total_size} [buff ofs] is the total size, in characters, of the marshaled value. Both {!Marshal.data_size} and {!Marshal.total_size} raise [Failure] if [buff], [ofs] does not contain a valid header. |