diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-07 15:01:27 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-07 15:01:27 +0000 |
| commit | c7168d234652e28f6da580b6f03efecf7d19ccb7 (patch) | |
| tree | ec555bfa2186c74b161eac541d69d47266ad12c5 /stdlib/buffer.mli | |
| parent | aa78984afcb46226cbc35922af41ff79278a237a (diff) | |
changed some labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/buffer.mli')
| -rw-r--r-- | stdlib/buffer.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/buffer.mli b/stdlib/buffer.mli index 8d205cca8..1f9728d94 100644 --- a/stdlib/buffer.mli +++ b/stdlib/buffer.mli @@ -55,7 +55,7 @@ val add_string : t -> string -> unit val add_substring : t -> string -> pos:int -> len:int -> unit (* [add_substring b s ofs len] takes [len] characters from offset [ofs] in string [s] and appends them at the end of the buffer [b]. *) -val add_buffer : t -> t -> unit +val add_buffer : t -> src:t -> unit (* [add_buffer b1 b2] appends the current contents of buffer [b2] at the end of buffer [b1]. [b2] is not modified. *) val add_channel : t -> in_channel -> len:int -> unit |