diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 14:59:34 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-24 14:59:34 +0000 |
| commit | be42dec0eb15f2d276c0614d539932da6b891098 (patch) | |
| tree | a1a147d69dbae415687b1c0b24cc1846985088be | |
| parent | 740d61ce91cca8666175d0559345cbcac7690ac6 (diff) | |
| download | verismith-be42dec0eb15f2d276c0614d539932da6b891098.tar.gz verismith-be42dec0eb15f2d276c0614d539932da6b891098.zip | |
Fix build
| -rw-r--r-- | src/Verismith.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |