Merge pull request #409 from JasonGross/patch-1

AeneasVerif · Jan 7, 2025 · 9baecae · 9baecae
2 parents 9d3feba + 3cbd05f
commit 9baecae
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.