diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 21:21:43 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 21:23:48 +0100 |
| commit | 009f1837fb84d6afc194dd3f82fb1cadd6dc64e9 (patch) | |
| tree | e220d8171911de05073f1d3ba81090652b28c87c | |
| parent | 4fba97ba3a19c725714b5d55721368657e41daa3 (diff) | |
| download | verismith-009f1837fb84d6afc194dd3f82fb1cadd6dc64e9.tar.gz verismith-009f1837fb84d6afc194dd3f82fb1cadd6dc64e9.zip | |
Use synthesiser instance
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 3f6a14b..8db6c29 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -229,7 +229,7 @@ reduction src = do writefile (fromText ".." </> dir <.> "v") $ genSource s return s where dir = fromText $ "reduce_" <> toText a <> "_" <> toText b - redSynth (SynthStatus a _ _) = do + redSynth a = do make dir pop dir $ do s <- reduceSynthesis a src |