summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-05-31 06:45:29 +0200
committerSon Ho2022-05-31 06:45:29 +0200
commit1b3f5a15aaabf5810f07797550d1a19a55b6be3c (patch)
tree13b1865c82fc95789f9bc2fa9eb565a1ff643cc9
parent1bbc9962d2f16e4c1798eb6ecf0e0234bc7e7ce7 (diff)
Update the installation instructions
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