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 cdba4dd7a..988e7bf63 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -408,7 +408,7 @@ val fprintf : formatter -> ('a, formatter, unit) format -> 'a;; it were of length [n]. - [@@]: print a plain [@] character. - Example: [printf "@\[%s@ %d@\]" "x =" 1] is equivalent to + Example: [printf "@[%s@ %d@]" "x =" 1] is equivalent to [open_box (); print_string "x ="; print_space (); print_int 1; close_box ()]. It prints [x = 1] within a pretty-printing box. *) |