summaryrefslogtreecommitdiff
path: root/stdlib/arg.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2016-03-09 23:20:22 +0100
committeralainfrisch <alain@frisch.fr>2016-03-15 22:47:26 +0100
commit8557a86477048633b7694d6260ae9443e5173b21 (patch)
treed1f039a0bd0eeb6235d72b0a7652092320c14137 /stdlib/arg.mli
parent502e4f9336c03e21442404fd1beba79df824d32d (diff)
downloadocaml-8557a86477048633b7694d6260ae9443e5173b21.tar.gz
Also enable more warnings in stdlib/ and fix them.
Diffstat (limited to 'stdlib/arg.mli')
-rw-r--r--stdlib/arg.mli2
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