From b8dcd66b76f502287ec3addef103db365663f5a2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 26 Jul 2019 11:49:07 +0200 Subject: Move Gen.hs to Generate.hs --- verifuzz.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'verifuzz.cabal') diff --git a/verifuzz.cabal b/verifuzz.cabal index b939034..49e3f68 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -35,6 +35,7 @@ library , VeriFuzz.Circuit.Random , VeriFuzz.Config , VeriFuzz.Fuzz + , VeriFuzz.Generate , VeriFuzz.Internal , VeriFuzz.Reduce , VeriFuzz.Report @@ -53,7 +54,6 @@ library , VeriFuzz.Verilog.BitVec , VeriFuzz.Verilog.CodeGen , VeriFuzz.Verilog.Eval - , VeriFuzz.Verilog.Gen , VeriFuzz.Verilog.Internal , VeriFuzz.Verilog.Lex , VeriFuzz.Verilog.Mutate -- cgit