diff --git a/src/document/generator.ml b/src/document/generator.ml index 1caca06de0..b04e92bf42 100644 --- a/src/document/generator.ml +++ b/src/document/generator.ml @@ -123,7 +123,6 @@ module Make (Syntax : SYNTAX) = struct link1 ++ O.txt "(" ++ link2 ++ O.txt ")" | `Resolved _ when Paths.Path.is_hidden path -> let txt = Url.render_path path in - Format.eprintf "Warning, resolved hidden path: %s\n%!" txt; unresolved [ inline @@ Text txt ] | `Resolved rp -> ( (* If the path is pointing to an opaque module or module type diff --git a/src/odoc/fs.mli b/src/odoc/fs.mli index af3abcfc24..61e23dd535 100644 --- a/src/odoc/fs.mli +++ b/src/odoc/fs.mli @@ -34,7 +34,7 @@ module Directory : sig val append : t -> t -> t val reach_from : dir:t -> string -> t - (** @raises Invalid_arg if [parent/name] exists but is not a directory. *) + (** @raises Invalid_argument if [parent/name] exists but is not a directory. *) val mkdir_p : t -> unit diff --git a/src/xref2/tools.ml b/src/xref2/tools.ml index e9c0ae6af6..3ac419f84a 100644 --- a/src/xref2/tools.ml +++ b/src/xref2/tools.ml @@ -1900,8 +1900,6 @@ and fragmap : with | Ok (p, _) -> Ok (Right p) | Error e -> - Format.fprintf Format.err_formatter - "failed to resolve path: %a\n%!" Component.Fmt.module_path p; Error (`UnresolvedPath (`Module (p, e))) in map_signature { id_map with module_ = Some (name, mapfn) } sg.items)