From dedbb708ce11cb48d4c85598ad24e1acd4d200ed Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Tue, 15 Sep 2020 10:33:11 +0200 Subject: [PATCH] move since tag to type definition --- stdlib/format.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/stdlib/format.mli b/stdlib/format.mli index bca230ab6..d3ef2a62d 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -807,7 +807,7 @@ type formatter_out_functions = { out_flush : unit -> unit; out_newline : unit -> unit; out_spaces : int -> unit; - out_indent : int -> unit; + out_indent : int -> unit;(** @since 4.06.0 *) } (** The set of output functions specific to a formatter: - the [out_string] function performs all the pretty-printer string output. @@ -822,7 +822,6 @@ type formatter_out_functions = { - the [out_indent] function performs new line indentation when the pretty-printer splits the line. It is called with the indentation value of the new line. - @since 4.06.0 By default: - fields [out_string] and [out_flush] are output device specific;