From 0d5113c826bde8002d40dd896c97afb86a0b66f0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 29 Mar 2020 16:38:26 +0100
Subject: Update nix files with bbv dependency

---
 shell.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index 42cbd1d..39a9043 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,7 +1,5 @@
 with import <nixpkgs> {};
+
 mkShell {
-  buildInputs = [
-    coq_8_10 ocamlPackages.menhir dune ocaml
-    ocamlPackages.findlib
-  ];
+  buildInputs = (import ./.).buildInputs;
 }
-- 
cgit