Merge branch 'new-menhir' into 'dev'

Lose another opam battle See merge request ligolang/ligo!96
2019-09-26 16:38:33 +00:00 · 2019-09-26 16:38:33 +00:00 · 43e75e186b
commit 43e75e186b
parent ca1471612f be201a5109
1 changed files with 1 additions and 1 deletions
--- a/src/ligo.opam
+++ b/src/ligo.opam
@ -10,7 +10,7 @@ license: "MIT"
 depends: [
  "ocamlfind" { build }
  "dune" { build & >= "1.0.1" }
-  "menhir"
+  "menhir" { = "20190626" }
  "ppx_let"
  "ppx_deriving"
  "tezos-utils"