diff options
author | Son Ho | 2022-05-31 06:45:29 +0200 |
---|---|---|
committer | Son Ho | 2022-05-31 06:45:29 +0200 |
commit | 1b3f5a15aaabf5810f07797550d1a19a55b6be3c (patch) | |
tree | 13b1865c82fc95789f9bc2fa9eb565a1ff643cc9 | |
parent | 1bbc9962d2f16e4c1798eb6ecf0e0234bc7e7ce7 (diff) |
Update the installation instructions
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |