diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-09 23:18:10 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-09 23:18:10 +0100 |
| commit | 77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f (patch) | |
| tree | 1fb623c5b94aab30c7ab74d34942390827cb0a5d /src/VeriFuzz.hs | |
| parent | 76ce30d979686307babe8ebb6269072338f24910 (diff) | |
| download | verismith-77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f.tar.gz verismith-77702d5492ba19b6e3e0dda9e9460a8bb67a8e3f.zip | |
Add new pretty printer with indentation
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 6667827..f66e18c 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -166,4 +166,4 @@ runEquivalence seed gm t d k i = do where n = t <> "_" <> T.pack (show i) runReduce :: SourceInfo -> IO SourceInfo -runReduce s = reduce (\s -> not <$> checkEquivalence s "reduce") s +runReduce s = reduce (\s' -> not <$> checkEquivalence s' "reduce") s |