From 3cbd05fe09780a8dbc17f3a4dae5992f579a1541 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Mon, 6 Jan 2025 22:31:18 -0800
Subject: [PATCH] Add unionFind to README opam install list

charon requires it
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5bfb1c50..9d482ef6 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,7 @@ You can then install the dependencies with the following command:
 
 ```
 opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc \
-  ocamlgraph menhir ocamlformat
+  ocamlgraph menhir ocamlformat unionFind
 ```
 
 Moreover, Aeneas uses the [Charon](https://github.com/AeneasVerif/charon) project and library.