From 009f1837fb84d6afc194dd3f82fb1cadd6dc64e9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 25 May 2019 21:21:43 +0100
Subject: Use synthesiser instance

---
 src/VeriFuzz/Fuzz.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit