diff options
| -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 |