diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-23 20:49:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-23 20:49:21 +0100 |
| commit | 9c96914d48e798294e20ccd863fdb25fde1c39b9 (patch) | |
| tree | 545e825a7c1c0d362f941b9b457e4b4e2d24f3d6 /app | |
| parent | 89b5fe26bb727be58e1ba101ffc2c5413ae8cb84 (diff) | |
| download | verismith-9c96914d48e798294e20ccd863fdb25fde1c39b9.tar.gz verismith-9c96914d48e798294e20ccd863fdb25fde1c39b9.zip | |
Add documentation to Config.hs
Diffstat (limited to 'app')
| -rw-r--r-- | app/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Main.hs b/app/Main.hs index 4174f99..3e14b03 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -226,8 +226,8 @@ handleOpts (Reduce f t) = do writeFile "reduced.v" . T.unpack $ V.genSource vreduced where file = T.unpack $ S.toTextIgnore f handleOpts (Config c) = maybe - (T.putStrLn . V.configEncode $ V.defaultConfig) - (`V.configToFile` V.defaultConfig) + (T.putStrLn . V.encodeConfig $ V.defaultConfig) + (`V.encodeConfigFile` V.defaultConfig) c main :: IO () |