From 13ff600509eccb2844e40a7c52ff64b108b31957 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Mon, 6 Jan 2020 19:02:26 +0100
Subject: [PATCH] union-find: rename partition to UnionFind for more
 consistency across the various names that opam and dune assign to this
 library

---
 src/passes/4-typer-new/dune                          | 2 +-
 vendors/UnionFind/{partition.opam => UnionFind.opam} | 0
 vendors/UnionFind/dune                               | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
 rename vendors/UnionFind/{partition.opam => UnionFind.opam} (100%)

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))