From b9761e43a5995734acb2d8609a6f25891297fd28 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 May 2019 17:02:30 +0100 Subject: Format using brittany --- src/VeriFuzz.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/VeriFuzz.hs') diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 6a63fe0..66c795f 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -328,9 +328,10 @@ randomise config@(Config a _ c d e) = do handleOpts :: Opts -> IO () handleOpts (Fuzz o configF _ _ n) = do config <- getConfig configF - _ <- runFuzz config - defaultYosys - (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config)) + _ <- runFuzz + config + defaultYosys + (fuzzMultiple n (Just $ fromText o) (proceduralSrc "top" config)) return () handleOpts (Generate f c) = do config <- getConfig c -- cgit