From f0a62856585741c2e5dfedb2d45f157b1871c144 Mon Sep 17 00:00:00 2001
From: Hadrien Renaud <hadrien.renaud2@arm.com>
Date: Thu, 21 Mar 2024 16:35:15 +0000
Subject: [PATCH] [asl-carpenter] Improve README.

---
 asllib/carpenter/README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/asllib/carpenter/README.md b/asllib/carpenter/README.md
index 86848d1bf1..7ad37d7534 100644
--- a/asllib/carpenter/README.md
+++ b/asllib/carpenter/README.md
@@ -14,11 +14,9 @@ It can also serve as a fuzzing tool, or a mass execution tool.
 
 Dependencies:
 ```bash
-opam install dune qcheck-core zarith re feat fix logs
+opam install dune menhir qcheck zarith re feat fix cmdliner logs
 ```
 
-And herdtools7 (see [herdtools7's readme](../../README.md)).
-
 Then:
 ```bash
 dune build asllib/carpenter