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