diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:49:07 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 11:49:07 +0200 |
| commit | b8dcd66b76f502287ec3addef103db365663f5a2 (patch) | |
| tree | 035d7d42b0b636b14350accb5652aa45f124639c /verifuzz.cabal | |
| parent | e200500f6a43d0ed48b194f9fc397fd32e9ce3e2 (diff) | |
| download | verismith-b8dcd66b76f502287ec3addef103db365663f5a2.tar.gz verismith-b8dcd66b76f502287ec3addef103db365663f5a2.zip | |
Move Gen.hs to Generate.hs
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
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 |