Add unionFind to README opam install list

charon requires it
AeneasVerif · Jan 7, 2025 · 3cbd05f · 3cbd05f
1 parent 9d3feba
commit 3cbd05f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.