From 1142d18a08cb8b9b96aefbd52fdadb05cb1982c7 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 13 Aug 2004 20:46:54 +0000
Subject: -s

---
 src/GF/Infra/UseIO.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Infra/UseIO.hs')

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
-- 
cgit v1.2.3