diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-12 17:16:52 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-12 17:16:52 +0100 |
| commit | 38ffd56bc2b0c4116b496ff5b803a2cee8795d11 (patch) | |
| tree | 1453c053e30ea5a02326408230b1badb0ffbdd4e /verifuzz.cabal | |
| parent | 6bcdac596fab6e989c999d63ba3f0ad09532989c (diff) | |
| download | verismith-38ffd56bc2b0c4116b496ff5b803a2cee8795d11.tar.gz verismith-38ffd56bc2b0c4116b496ff5b803a2cee8795d11.zip | |
Remove Arbitrary model
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 27eb6af..5ed7497 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -45,7 +45,6 @@ library , VeriFuzz.Sim.XST , VeriFuzz.Sim.Yosys , VeriFuzz.Verilog - , VeriFuzz.Verilog.Arbitrary , VeriFuzz.Verilog.AST , VeriFuzz.Verilog.CodeGen , VeriFuzz.Verilog.Gen |