diff options
Diffstat (limited to 'src/VeriFuzz')
-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 |