Format with brittany

1 files changed, 5 insertions, 10 deletions

diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs
index 8552d89..3081a65 100644
--- a/src/VeriFuzz/Sim/Yosys.hs
+++ b/src/VeriFuzz/Sim/Yosys.hs
@@ -99,15 +99,10 @@ runEquivYosys yosys sim1 sim2 srcInfo = do
         logger "Yosys: equivalence check"
         run_ (yosysPath yosys) [toTextIgnore checkFile]
         logger "Yosys: equivalence done"
-  where
-    checkFile =
-        fromText [st|test.#{toText sim1}.#{toText sim2}.ys|]
+    where checkFile = fromText [st|test.#{toText sim1}.#{toText sim2}.ys|]
 
-runEquiv :: (Synthesiser a, Synthesiser b)
-         => a
-         -> b
-         -> SourceInfo
-         -> ResultSh ()
+runEquiv
+    :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> ResultSh ()
 runEquiv sim1 sim2 srcInfo = do
     dir <- liftSh pwd
     liftSh $ do
@@ -129,5 +124,5 @@ runEquiv sim1 sim2 srcInfo = do
         2   -> ResultT . return $ Fail EquivFail
         124 -> ResultT . return $ Fail TimeoutError
         _   -> ResultT . return $ Fail EquivError
-    where
-        exe dir name e = void . errExit False . logCommand dir name . timeout e
+  where
+    exe dir name e = void . errExit False . logCommand dir name . timeout e