diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:16:11 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-20 17:16:11 +0100 |
| commit | 60e28636ef7f102073c3f3366fdede84a8151f48 (patch) | |
| tree | 2b0ffa7ec02c700e1fe6a8e5bc981f0993c90c27 | |
| parent | b9761e43a5995734acb2d8609a6f25891297fd28 (diff) | |
| download | verismith-60e28636ef7f102073c3f3366fdede84a8151f48.tar.gz verismith-60e28636ef7f102073c3f3366fdede84a8151f48.zip | |
Fix warning on CI
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 4f5c016..77962b5 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -91,8 +91,8 @@ synthesisers = lift $ asks getSynthesisers --simulators :: (Monad m) => Fuzz () m [SimTool] --simulators = lift $ asks getSimulators -combinations :: [a] -> [b] -> [(a, b)] -combinations l1 l2 = [ (x, y) | x <- l1, y <- l2 ] +--combinations :: [a] -> [b] -> [(a, b)] +--combinations l1 l2 = [ (x, y) | x <- l1, y <- l2 ] logT :: MonadSh m => Text -> m () logT = liftSh . logger |