diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-02-25 10:08:09 +0100 |
| commit | 3c5ecdcfa6247ceafa198ce619f8317da731f46c (patch) | |
| tree | 0f9ececf5d75c129dade597b46951a679c2f6c92 /ocamldoc/odoc.ml | |
| parent | 8b2be670a53f6329950726dd15f55edfa58d12c1 (diff) | |
| download | ocaml-3c5ecdcfa6247ceafa198ce619f8317da731f46c.tar.gz | |
Remove uses of ;; from the codebase
Diffstat (limited to 'ocamldoc/odoc.ml')
| -rw-r--r-- | ocamldoc/odoc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc.ml b/ocamldoc/odoc.ml index 1d0332ddb1..4cbee3454a 100644 --- a/ocamldoc/odoc.ml +++ b/ocamldoc/odoc.ml @@ -73,7 +73,7 @@ let load_plugin file = prerr_endline (Odoc_messages.load_file_error file s); exit 1 ;; -List.iter load_plugin plugins;; +List.iter load_plugin plugins let () = Odoc_args.parse () |