From 2232e7f34f2efc8838d78677a2832b5d9c1aafea Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Thu, 9 Jan 2020 11:21:28 -0600
Subject: [PATCH] Suppress noisy and useless test in UnionFind

---
 vendors/UnionFind/dune | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/vendors/UnionFind/dune b/vendors/UnionFind/dune
index 13ad33239..192e35c79 100644
--- a/vendors/UnionFind/dune
+++ b/vendors/UnionFind/dune
@@ -4,8 +4,3 @@
   (wrapped false)
   (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
   (modules_without_implementation Partition))
-
-(test
- (modules PartitionMain)
- (libraries UnionFind)
- (name PartitionMain))