aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Verilog.hs
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:49:26 +0000
committerYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:49:26 +0000
commited10d3ad5edcc5b302395ac74d06bffe05446e87 (patch)
treeeaa375456adb15f3a1e8b4bd0316ab327c802ab8 /src/VeriFuzz/Verilog.hs
parentfb2bbd83e4cae86e29c295e084db067fd9b8caab (diff)
downloadverismith-ed10d3ad5edcc5b302395ac74d06bffe05446e87.tar.gz
verismith-ed10d3ad5edcc5b302395ac74d06bffe05446e87.zip
Remove Arbitrary from main module
Diffstat (limited to 'src/VeriFuzz/Verilog.hs')
-rw-r--r--src/VeriFuzz/Verilog.hs2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs
index baed3c5..4e8ed22 100644
--- a/src/VeriFuzz/Verilog.hs
+++ b/src/VeriFuzz/Verilog.hs
@@ -18,10 +18,8 @@ module VeriFuzz.Verilog
-- * Verilog mutations
, module VeriFuzz.Verilog.Mutate
, module VeriFuzz.Verilog.Helpers
- , module VeriFuzz.Verilog.Arbitrary
) where
-import VeriFuzz.Verilog.Arbitrary
import VeriFuzz.Verilog.AST
import VeriFuzz.Verilog.CodeGen
import VeriFuzz.Verilog.Helpers