From 9db4f00422548006849e5c34d72cf17014330aed Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 19 May 2021 16:01:46 +0100
Subject: Add more top-level changes

---
 src/Verismith.hs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Verismith.hs')

diff --git a/src/Verismith.hs b/src/Verismith.hs
index 3d4f54b..89eacca 100644
--- a/src/Verismith.hs
+++ b/src/Verismith.hs
@@ -160,8 +160,6 @@ handleOpts (Fuzz o configF f k n nosim noequiv noreduction file top cc checker)
           (toFP datadir)
           cc
           checker
-      )
-      defaultYosys
       (fuzzMultiple gen)
   return ()
 handleOpts (EMIOpts o configF f k n nosim noequiv noreduction) = do
-- 
cgit