diff options
author | alainfrisch <alain@frisch.fr> | 2016-01-20 00:02:30 +0100 |
---|---|---|
committer | alainfrisch <alain@frisch.fr> | 2016-01-20 00:02:30 +0100 |
commit | ae3af451b8fef6be5798e1136c6410de5301c1e8 (patch) | |
tree | 4a4324a7591949405dafcfbc13b2a55eed15b23d /ocamldoc/odoc_args.ml | |
parent | 09bc2670387b0efb2fcc6fffeb0295fcd6899cb2 (diff) | |
download | ocaml-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.ml | 5 |
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.*) |