diff options
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 () |