1 files changed, 1 insertions, 0 deletions

diff --git a/sol.opam b/sol.opam
index c2bde77..9f46a1c 100644
--- a/sol.opam
+++ b/sol.opam
@@ -10,6 +10,7 @@ depends: [
   "dune" {>= "3.7"}
   "ocaml" {>= "5.1"}
   "zarith"
+  "menhir" {build}
   "alcotest" {with-test}
   "odoc" {with-doc}
 ]