From 58c0c75859a63bc60064a265eb3ea0ae669b4137 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 21 Jul 2019 14:24:12 +0200
Subject: Add .env and fix VeriFuzz.hs

---
 .envrc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .envrc

(limited to '.envrc')

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..1d953f4
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use nix
-- 
cgit