diff options
| -rw-r--r-- | src-3.0/GF/Infra/UseIO.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src-3.0/GF/Infra/UseIO.hs b/src-3.0/GF/Infra/UseIO.hs index f7563ed2c..079958b05 100644 --- a/src-3.0/GF/Infra/UseIO.hs +++ b/src-3.0/GF/Infra/UseIO.hs @@ -249,7 +249,10 @@ putPointE v opts msg act = do a <- act >>= ioeIO . evaluate t2 <- ioeIO $ getCPUTime - when (flag optShowCPUTime opts) $ ioeIO $ putStrLnFlush (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec") + ioeIO $ putStrLnFlush + (if flag optShowCPUTime opts + then (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec") + else "") return a |