diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-25 16:27:35 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-25 16:27:35 +0000 |
commit | 79f7d262ed0246ea6556478c611c0db59bb47191 (patch) | |
tree | 0ba641865d69e02345283553d0f636544ddea719 /src/VeriFuzz/Random.hs | |
parent | d4b2664d8ecddbfa0e0aae42d32f39edae2f930b (diff) | |
download | verismith-79f7d262ed0246ea6556478c611c0db59bb47191.tar.gz verismith-79f7d262ed0246ea6556478c611c0db59bb47191.zip |
Reformat using brittany
Diffstat (limited to 'src/VeriFuzz/Random.hs')
-rw-r--r-- | src/VeriFuzz/Random.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Random.hs b/src/VeriFuzz/Random.hs index c471a04..c937043 100644 --- a/src/VeriFuzz/Random.hs +++ b/src/VeriFuzz/Random.hs @@ -21,7 +21,8 @@ import qualified Test.QuickCheck as QC import VeriFuzz.Circuit dupFolder :: (Eq a, Eq b) => Context a b -> [Context a b] -> [Context a b] -dupFolder cont ns = unique cont : ns where unique (a, b, c, d) = (nub a, b, c, nub d) +dupFolder cont ns = unique cont : ns + where unique (a, b, c, d) = (nub a, b, c, nub d) -- | Remove duplicates. rDups :: (Eq a, Eq b) => Gr a b -> Gr a b |