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 a69455b38..d49da5c22 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -155,7 +155,7 @@ val open_vbox : int -> unit;; When a new line is printed in the box, [d] is added to the current indentation. *) val open_hvbox : int -> unit;; - (* [open_hovbox d] opens a new pretty-printing box + (* [open_hvbox d] opens a new pretty-printing box with offset [d]. This box is ``horizontal-vertical'': it behaves as an ``horizontal'' box if it fits on a single line, |