diff options
| -rw-r--r-- | stdlib/format.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli index 8be237de7..3f38751bd 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -260,7 +260,7 @@ val set_tab : unit -> unit;; (** Sets a tabulation mark at the current insertion point. *) val print_tab : unit -> unit;; -(** [print_tab ()] is equivalent to [print_tbreak (0,0)]. *) +(** [print_tab ()] is equivalent to [print_tbreak 0 0]. *) (** {6 Ellipsis} *) |