diff options
Diffstat (limited to 'stdlib/arg.mli')
-rw-r--r-- | stdlib/arg.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 43b07c208a..3f263554b1 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -143,7 +143,7 @@ val usage_string : (key * spec * doc) list -> usage_msg -> string (** Returns the message that would have been printed by {!Arg.usage}, if provided with the same parameters. *) -val align: ?limit: int -> (key * spec * doc) list -> (key * spec * doc) list;; +val align: ?limit: int -> (key * spec * doc) list -> (key * spec * doc) list (** Align the documentation strings by inserting spaces at the first space, according to the length of the keyword. Use a space as the first character in a doc string if you want to |