diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:24:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:24:58 +0100 |
commit | d8dd3a04fd820fddc12d1ea46818ed1b1167e9ac (patch) | |
tree | eca98e3be0d95e8aff042d1201ef6667bb7c698b /src/VeriFuzz/Verilog | |
parent | 238ef567f11c0f07f6b9834ef2199117485ba273 (diff) | |
download | verismith-d8dd3a04fd820fddc12d1ea46818ed1b1167e9ac.tar.gz verismith-d8dd3a04fd820fddc12d1ea46818ed1b1167e9ac.zip |
Remove unused function
Diffstat (limited to 'src/VeriFuzz/Verilog')
-rw-r--r-- | src/VeriFuzz/Verilog/Gen.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs index f4c49be..bd80c3d 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Verilog/Gen.hs @@ -231,9 +231,6 @@ someI m f = do amount <- gen $ Hog.int (Hog.linear 1 m) replicateM amount f -some :: StateGen a -> StateGen [a] -some = someI 50 - many :: StateGen a -> StateGen [a] many f = do amount <- gen $ Hog.int (Hog.linear 0 50) |