summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 8e695093..f31ae3b0 100644
--- a/README.md
+++ b/README.md
@@ -43,7 +43,7 @@ and install OPAM on the way (same instructions).
The dependencies can then be installed with the following command:
```
-opam install ppx_deriving visitors easy_logging zarith yojson core
+opam install ppx_deriving visitors easy_logging zarith yojson core_unix
```
When choosing the OCaml compiler version: we compiled Aeneas with version 4.12.1, but any