From be42dec0eb15f2d276c0614d539932da6b891098 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 24 Nov 2019 14:59:34 +0000
Subject: Fix build

---
 src/Verismith.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Verismith.hs')

diff --git a/src/Verismith.hs b/src/Verismith.hs
index 077fd98..c4616aa 100644
--- a/src/Verismith.hs
+++ b/src/Verismith.hs
@@ -332,4 +332,4 @@ runEquivalence seed gm t d k i = do
 
 runReduce :: SourceInfo -> IO SourceInfo
 runReduce s =
-    shelly $ reduce (\s' -> not <$> liftIO (checkEquivalence s' "reduce")) s
+    shelly $ reduce "reduce.v" (\s' -> not <$> liftIO (checkEquivalence s' "reduce")) s
-- 
cgit