diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-17 12:37:46 +0000 |
commit | 928a54419aeac611555b3c15493db00010cbb46e (patch) | |
tree | 576f1ca4ba287f03700b9526032126302c0474c1 /src/VeriFuzz/Env.hs | |
parent | 0ea6e208f2c3c41922f8334174fc8e81a21d67f4 (diff) | |
download | verismith-928a54419aeac611555b3c15493db00010cbb46e.tar.gz verismith-928a54419aeac611555b3c15493db00010cbb46e.zip |
Indent by 4
Diffstat (limited to 'src/VeriFuzz/Env.hs')
-rw-r--r-- | src/VeriFuzz/Env.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Env.hs b/src/VeriFuzz/Env.hs index 0bbd290..c50be25 100644 --- a/src/VeriFuzz/Env.hs +++ b/src/VeriFuzz/Env.hs @@ -29,5 +29,5 @@ type SimEnv = ReaderT SimMatrix IO runAll :: SimEnv () runAll = do - _ <- asks xst - shelly $ run_ "echo" ["Hello World"] + _ <- asks xst + shelly $ run_ "echo" ["Hello World"] |