diff options
| -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. |