From 0b640e66ebdb033288681ea8f2c617f38f9d8a89 Mon Sep 17 00:00:00 2001
From: Nicolas Jeannerod <nicolas.jeannerod@irif.fr>
Date: Wed, 10 Oct 2018 17:31:56 +0200
Subject: [PATCH] remove {build} flag for menhir as we use the menhirLib

---
 morbig.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/morbig.opam b/morbig.opam
index a4178370..5fdc806f 100644
--- a/morbig.opam
+++ b/morbig.opam
@@ -23,7 +23,7 @@ dev-repo: "git://github.com/colis-anr/morbig.git"
 
 available: [os != "macos"]
 depends: [
-  "menhir"               {build}
+  "menhir"
   "ocaml"                {build & >= "4.03"}
   "ocamlbuild"           {build}
   "ppx_deriving_yojson"