From 20144a5844e1f3ca6b7a036d09ef6c369ee35bd4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 12 May 2023 10:27:44 +0200
Subject: [PATCH] [opam] add unionFind for Alias

---
 opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam b/opam
index 4543d82ace8..a72a1319bd1 100644
--- a/opam
+++ b/opam
@@ -121,6 +121,7 @@ depends: [
   "menhir" { >= "20181006" & build }
   "ocaml" { >= "4.11.1" }
   "ocamlgraph" { >= "1.8.8" }
+  "unionFind" { >= "20220107" }
   "why3" { >= "1.6.0" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
-- 
GitLab