[asl-carpenter] Improve README.

herd · Mar 21, 2024 · f0a6285 · f0a6285
1 parent edead28
commit f0a6285
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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