diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-09 12:30:44 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-09 12:30:44 +0200 |
commit | 433485b8b54158c69a506f89d79d9d07c36cd462 (patch) | |
tree | b6191ab2a7a0981e0902b1ab53da9289d60dd2de /ocamldoc/odoc.ml | |
parent | d8f3273292bd4f1459b4132322746b9c42925e62 (diff) | |
download | ocaml-433485b8b54158c69a506f89d79d9d07c36cd462.tar.gz |
ocamldoc: remove debugging facility
Diffstat (limited to 'ocamldoc/odoc.ml')
-rw-r--r-- | ocamldoc/odoc.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ocamldoc/odoc.ml b/ocamldoc/odoc.ml index b49aa1b117..1d0332ddb1 100644 --- a/ocamldoc/odoc.ml +++ b/ocamldoc/odoc.ml @@ -18,8 +18,6 @@ module M = Odoc_messages -let print_DEBUG s = print_string s ; print_newline () - (* we check if we must load a module given on the command line *) let arg_list = Array.to_list Sys.argv let (plugins, paths) = @@ -37,8 +35,6 @@ let (plugins, paths) = in iter ([], []) arg_list -let _ = print_DEBUG "Fin analyse des arguments pour le dynamic load" - (** Return the real name of the file to load, searching it in the paths if it is a simple name and not in the current directory. *) @@ -79,8 +75,6 @@ let load_plugin file = ;; List.iter load_plugin plugins;; -let () = print_DEBUG "Fin du chargement dynamique eventuel" - let () = Odoc_args.parse () |