Skip to content

Commit

Permalink
Disable warnings coming from linking implementations
Browse files Browse the repository at this point in the history
These warnings cannot be fixed by the user, therefore they serve no purpose.
  • Loading branch information
jonludlam committed Feb 21, 2025
1 parent eb82d50 commit 391d756
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/driver/odoc_units_of.ml
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ let packages ~dirs ~extra_paths ~remap ~indices_style (pkgs : Packages.t list) :
in
let unit =
make_unit ~name ~kind ~rel_dir ~input_file:impl.mip_path ~pkg
~lib_deps ~enable_warnings:pkg.selected ~to_output:pkg.selected
~lib_deps ~enable_warnings:false ~to_output:pkg.selected
in
Some unit
in
Expand Down

0 comments on commit 391d756

Please sign in to comment.