From 1b3f5a15aaabf5810f07797550d1a19a55b6be3c Mon Sep 17 00:00:00 2001 From: Son Ho Date: Tue, 31 May 2022 06:45:29 +0200 Subject: Update the installation instructions --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3