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/generators | |
| parent | 8b2be670a53f6329950726dd15f55edfa58d12c1 (diff) | |
| download | ocaml-3c5ecdcfa6247ceafa198ce619f8317da731f46c.tar.gz | |
Remove uses of ;; from the codebase
Diffstat (limited to 'ocamldoc/generators')
| -rw-r--r-- | ocamldoc/generators/odoc_literate.ml | 2 | ||||
| -rw-r--r-- | ocamldoc/generators/odoc_todo.ml | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/ocamldoc/generators/odoc_literate.ml b/ocamldoc/generators/odoc_literate.ml index aec198081a..6761873ddb 100644 --- a/ocamldoc/generators/odoc_literate.ml +++ b/ocamldoc/generators/odoc_literate.ml @@ -31,7 +31,6 @@ module Html = failwith "A non-html generator is already set. Cannot install the Todo-list html generator" ) : Odoc_html.Html_generator) -;; module Generator = struct @@ -212,4 +211,3 @@ end let _ = Odoc_args.set_generator (Odoc_gen.Html (module Generator : Odoc_html.Html_generator)) - ;; diff --git a/ocamldoc/generators/odoc_todo.ml b/ocamldoc/generators/odoc_todo.ml index ae90cbff4a..ce3c2c1280 100644 --- a/ocamldoc/generators/odoc_todo.ml +++ b/ocamldoc/generators/odoc_todo.ml @@ -37,7 +37,6 @@ module Html = failwith "A non-html generator is already set. Cannot install the Todo-list html generator" ) : Odoc_html.Html_generator) -;; module Generator = struct @@ -232,4 +231,3 @@ end let _ = Odoc_args.set_generator (Odoc_gen.Html (module Generator : Odoc_html.Html_generator)) - ;; |