diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-07-03 10:46:10 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-07-03 10:46:10 +0000 |
commit | d89ee164a364e470347f0511fc5c30362cfea7b6 (patch) | |
tree | 4ea5b92ecf96b523f981e87ffd65f9fb6fa3e836 | |
parent | c195fae7ff13de3d9d117cd485699dbf8cfaed93 (diff) | |
download | ocaml-d89ee164a364e470347f0511fc5c30362cfea7b6.tar.gz |
Qualifying an out_channel occurrence.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | stdlib/format.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli index d7735578b6..156422f6fc 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -348,7 +348,7 @@ val get_mark_tags : unit -> bool;; (** {6 Redirecting formatter output} *) -val set_formatter_out_channel : out_channel -> unit;; +val set_formatter_out_channel : Pervasives.out_channel -> unit;; (** Redirect the pretty-printer output to the given channel. *) val set_formatter_output_functions : @@ -521,8 +521,7 @@ val make_formatter : (string -> int -> int -> unit) -> (unit -> unit) -> formatter;; (** [make_formatter out flush] returns a new formatter that writes according to the output function [out], and the flushing function - [flush]. Hence, a formatter to the output channel [oc] - is returned by + [flush]. Hence, a formatter to the output channel [oc] is returned by [make_formatter (Pervasives.output oc) (fun () -> Pervasives.flush oc)]. *) (** {6 Basic functions to use with formatters} *) |