diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 19:35:30 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 19:35:30 +0000 |
commit | 75e6abdcb78c70b7449e5fd7f48d8a3e6b3d164b (patch) | |
tree | f66bf170f9340c86797a623394e63d07ffe66ee8 /src/VeriFuzz/Graph/Random.hs | |
parent | 4ba440d842e9a0502b429fbc04e2be41c8037a4c (diff) | |
download | verismith-75e6abdcb78c70b7449e5fd7f48d8a3e6b3d164b.tar.gz verismith-75e6abdcb78c70b7449e5fd7f48d8a3e6b3d164b.zip |
Set column to 100
Diffstat (limited to 'src/VeriFuzz/Graph/Random.hs')
-rw-r--r-- | src/VeriFuzz/Graph/Random.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz/Graph/Random.hs b/src/VeriFuzz/Graph/Random.hs index 5b36c48..573c179 100644 --- a/src/VeriFuzz/Graph/Random.hs +++ b/src/VeriFuzz/Graph/Random.hs @@ -25,8 +25,7 @@ import Test.QuickCheck ( Arbitrary import qualified Test.QuickCheck as QC 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 |