Add a version constraint on Menhir (actually, MenhirLib).

1 year ago · 3777eaf90a
parent a26f8b5fbd
commit 3777eaf90a
1 changed files with 1 additions and 1 deletions
--- a/inferno-sample-client.opam
+++ b/inferno-sample-client.opam
@ -16,7 +16,7 @@ build: [
 ]
 depends: [
  "inferno"
-  "menhir"
+  "menhir" { >= "20201201" }
  "pprint"
  "qcheck"
  "alcotest"