1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index e3a7e0e9..3e711888 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,7 @@ We use **OCaml 4.13.1**: `opam switch create 4.13.1+options`
 The dependencies can then be installed with the following command:
 
 ```
-opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc
+opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc unionFind
 ```
 
 Moreover, Aeneas requires the Charon ML library, defined in the