From 43348e4af0ca94ec3bafa520871b1e9cb296daef Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Thu, 20 Feb 2025 12:35:08 +0000 Subject: [PATCH] Update src/driver/opam.ml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Paul-Elliot Anglès d'Auriac --- src/driver/opam.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/driver/opam.ml b/src/driver/opam.ml index 65eb1477b1..118ff603e6 100644 --- a/src/driver/opam.ml +++ b/src/driver/opam.ml @@ -301,7 +301,7 @@ let check pkgs = let dune_pkgnames = Util.StringSet.of_list (List.map (fun (p, _) -> p.name) (dune_overrides ())) in - let missing = Util.StringSet.(diff missing dune_pkgnames) in + let missing = Util.StringSet.diff missing dune_pkgnames in if Util.StringSet.cardinal missing = 0 then Ok () else Error missing let pkg_to_dir_map () =