From 3d82b21f2788f4b593e60a3aa248ba2569c479ff Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Mon, 13 May 2019 16:35:05 +0100
Subject: Inverse case statement

---
 src/VeriFuzz/Reduce.hs | 6 +++---
 1 file 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
-- 
cgit