From 78e70ea4382af2ab093facda0657b7bd3fa2ff01 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 23 Apr 2019 13:33:52 +0100
Subject: Formatting files and add result type to front end

---
 src/VeriFuzz/Sim/Yosys.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/VeriFuzz/Sim/Yosys.hs')

diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs
index f219e01..f72fb1a 100644
--- a/src/VeriFuzz/Sim/Yosys.hs
+++ b/src/VeriFuzz/Sim/Yosys.hs
@@ -66,8 +66,7 @@ runSynthYosys sim (SourceInfo _ src) = (<?> SynthFail) . liftSh $ do
     out  = toTextIgnore $ synthOutput sim
 
 runMaybeSynth :: (Synthesiser a) => Maybe a -> SourceInfo -> ResultSh ()
-runMaybeSynth (Just sim) srcInfo =
-    runSynth sim srcInfo
+runMaybeSynth (Just sim) srcInfo = runSynth sim srcInfo
 runMaybeSynth Nothing (SourceInfo _ src) =
     liftSh . writefile "rtl.v" $ genSource src
 
-- 
cgit