From 5dd789c4962efc698da6d3fd50f3a165720b2e42 Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Mon, 6 May 2024 12:52:43 +0200
Subject: Add menhir and ocamlformat to list of required opam packages

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 74de4500..3775ad9c 100644
--- a/README.md
+++ b/README.md
@@ -41,7 +41,7 @@ The dependencies can then be installed with the following command:
 
 ```
 opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc \
-  unionFind ocamlgraph
+  unionFind ocamlgraph menhir ocamlformat
 ```
 
 Moreover, Aeneas requires the Charon ML library, defined in the
-- 
cgit v1.2.3