diff options
Diffstat (limited to 'src/GF/Infra/UseIO.hs')
| -rw-r--r-- | src/GF/Infra/UseIO.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Infra/UseIO.hs b/src/GF/Infra/UseIO.hs index 3dc41fadc..d06904297 100644 --- a/src/GF/Infra/UseIO.hs +++ b/src/GF/Infra/UseIO.hs @@ -208,7 +208,7 @@ putStrE = ioeIO . putStrFlush putPointE :: Options -> String -> IOE a -> IOE a putPointE opts msg act = do - let ve x = if oElem beVerbose opts then x else return () + let ve x = if oElem beSilent opts then return () else x ve $ ioeIO $ putStrFlush msg a <- act --- ve $ ioeIO $ putShow' id a --- replace by a statistics command |