diff --git a/src/passes/4-typer-new/dune b/src/passes/4-typer-new/dune index 529c6b3ec..645a7053f 100644 --- a/src/passes/4-typer-new/dune +++ b/src/passes/4-typer-new/dune @@ -7,7 +7,7 @@ ast_simplified ast_typed operators - partition + UnionFind ) (preprocess (pps ppx_let) diff --git a/vendors/UnionFind/partition.opam b/vendors/UnionFind/UnionFind.opam similarity index 100% rename from vendors/UnionFind/partition.opam rename to vendors/UnionFind/UnionFind.opam diff --git a/vendors/UnionFind/dune b/vendors/UnionFind/dune index ca32861e8..13ad33239 100644 --- a/vendors/UnionFind/dune +++ b/vendors/UnionFind/dune @@ -1,6 +1,6 @@ (library (name UnionFind) - (public_name partition) + (public_name UnionFind) (wrapped false) (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind) (modules_without_implementation Partition))