aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:46:10 +0000
committerYann Herklotz <ymherklotz@gmail.com>2019-01-10 17:46:10 +0000
commiteb598f451b882f56ed3648ebc8d25ee494f9bfa9 (patch)
treef6cc7112503501b50e31d844990260a9d39e6dba /verifuzz.cabal
parent42bf41f9aa82906c0c44aa290fb496e08db1451a (diff)
downloadverismith-eb598f451b882f56ed3648ebc8d25ee494f9bfa9.tar.gz
verismith-eb598f451b882f56ed3648ebc8d25ee494f9bfa9.zip
Remove arbitrary from file list
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal1
1 files changed, 0 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index 56c2367..04d90d3 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -33,7 +33,6 @@ library
, VeriFuzz.Simulator.Yosys
, VeriFuzz.Verilog
, VeriFuzz.Verilog.AST
- , VeriFuzz.Verilog.Arbitrary
, VeriFuzz.Verilog.CodeGen
, VeriFuzz.Verilog.Helpers
, VeriFuzz.Verilog.Mutate