From 29bee524cccfe08c680f655b1969a4c421e0a969 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 26 Nov 2020 01:00:13 +0000
Subject: Fix build for Coq 8.12.1

---
 shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index 887f8fb..81d40f6 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,7 +1,7 @@
 with import <nixpkgs> {};
 
 mkShell {
-  buildInputs = (import ./.).buildInputs ++ [ ocamlPackages.ocp-indent verilog yosys
+  buildInputs = (import ./.).buildInputs ++ [ ocamlPackages.ocp-indent
                                               ocamlPackages.merlin ocamlPackages.utop
                                             ];
 }
-- 
cgit