summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_args.ml
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-01-20 00:02:30 +0100
committeralainfrisch <alain@frisch.fr>2016-01-20 00:02:30 +0100
commitae3af451b8fef6be5798e1136c6410de5301c1e8 (patch)
tree4a4324a7591949405dafcfbc13b2a55eed15b23d /ocamldoc/odoc_args.ml
parent09bc2670387b0efb2fcc6fffeb0295fcd6899cb2 (diff)
downloadocaml-ae3af451b8fef6be5798e1136c6410de5301c1e8.tar.gz
Remove useless bindings, use proper sequencing instead of 'let _ = ... in ...'.
Diffstat (limited to 'ocamldoc/odoc_args.ml')
-rw-r--r--ocamldoc/odoc_args.ml5
1 files changed, 2 insertions, 3 deletions
diff --git a/ocamldoc/odoc_args.ml b/ocamldoc/odoc_args.ml
index 8ce41c20f9..cdd6e1b993 100644
--- a/ocamldoc/odoc_args.ml
+++ b/ocamldoc/odoc_args.ml
@@ -399,10 +399,9 @@ let add_option o =
let parse () =
if modified_options () then append_last_doc "\n";
let options = !options @ !help_options in
- let _ = Arg.parse (Arg.align ~limit:13 options)
+ Arg.parse (Arg.align ~limit:13 options)
anonymous
- (M.usage^M.options_are)
- in
+ (M.usage^M.options_are);
(* we sort the hidden modules by name, to be sure that for example,
A.B is before A, so we will match against A.B before A in
Odoc_name.hide_modules.*)