From d55f529a6ec76d40965a08a022412ddfffd3aa0a Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 29 May 2008 07:34:29 +0000
Subject: [PATCH] if optShowCPUTime is off just print \n in putPointE

---
 src-3.0/GF/Infra/UseIO.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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