union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library

2020-01-06 19:02:26 +01:00 · 2020-01-06 19:02:26 +01:00 · 13ff600509
commit 13ff600509
parent dd9a4dfb47
3 changed files with 2 additions and 2 deletions
--- 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)
--- a/vendors/UnionFind/UnionFind.opam
+++ b/vendors/UnionFind/UnionFind.opam
--- 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))