diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:35:05 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:35:05 +0100 |
commit | 3d82b21f2788f4b593e60a3aa248ba2569c479ff (patch) | |
tree | 5931f8e0c5dfc85a4b817278e39685d80600b692 /src/VeriFuzz/Reduce.hs | |
parent | 98c6701f48d3e06eb0f2fcd590d0330aec8b5a9b (diff) | |
download | verismith-3d82b21f2788f4b593e60a3aa248ba2569c479ff.tar.gz verismith-3d82b21f2788f4b593e60a3aa248ba2569c479ff.zip |
Inverse case statement
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index f9a4ebf..91b79ad 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -394,6 +394,6 @@ reduceSynth a b = reduce synth runSynth a src' runSynth b src' runEquiv a b src' - case r of - Fail _ -> return False - Pass _ -> return True + return $ case r of + Fail _ -> False + Pass _ -> True |