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.