diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-11 21:35:13 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-11 21:35:13 +0000 |
| commit | df3723a3bf1e131181980d5a8d72c9af8a79f5d9 (patch) | |
| tree | 658c1e080443c33bff380b9f0c303d50b288b229 /src/VeriFuzz/Reduce.hs | |
| parent | 8e37f506a6063bb56f9c133ef4ab3e538b4fa958 (diff) | |
| download | verismith-df3723a3bf1e131181980d5a8d72c9af8a79f5d9.tar.gz verismith-df3723a3bf1e131181980d5a8d72c9af8a79f5d9.zip | |
Fix reduce build
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index e4ca26c..e393e51 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -14,10 +14,9 @@ module VeriFuzz.Reduce where import Control.Lens import VeriFuzz.AST -import VeriFuzz.Mutate halve :: [a] -> ([a], [a]) -halve l = splitAt (length l `div` 2) l +halve l = splitAt (length l `div` 2) l removeUninitWires :: [ModItem] -> [ModItem] removeUninitWires ms = ms |