From 38ffd56bc2b0c4116b496ff5b803a2cee8795d11 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 12 Apr 2019 17:16:52 +0100 Subject: Remove Arbitrary model --- verifuzz.cabal | 1 - 1 file changed, 1 deletion(-) (limited to 'verifuzz.cabal') 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 -- cgit