From d8dd3a04fd820fddc12d1ea46818ed1b1167e9ac Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 21 May 2019 15:24:58 +0100 Subject: Remove unused function --- src/VeriFuzz/Verilog/Gen.hs | 3 --- 1 file changed, 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) -- cgit