From bd26d2ee3a8fabefbff50de6c53549399f2b7762 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 1 Oct 2021 20:35:48 +0100
Subject: Add menhirLib as an explicit dependency

---
 default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/default.nix b/default.nix
index 0e5b40d..6350e3e 100644
--- a/default.nix
+++ b/default.nix
@@ -10,6 +10,7 @@ stdenv.mkDerivation {
   buildInputs = [ ncoq dune_2 gcc
                   ncoq.ocaml ncoq.ocamlPackages.findlib ncoq.ocamlPackages.menhir
                   ncoq.ocamlPackages.ocamlgraph ncoq.ocamlPackages.merlin
+                  ncoq.ocamlPackages.menhirLib
 
                   ncoqPackages.serapi
                   python3 python3Packages.docutils python3Packages.pygments
-- 
cgit