From 2fcc77a884b5a440f2378fcc2e67bdcab812fcfb Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 28 May 2008 15:56:37 +0000 Subject: Some printing / verbosity fixes. --- src-3.0/GF/Compile/Optimize.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src-3.0/GF/Compile') diff --git a/src-3.0/GF/Compile/Optimize.hs b/src-3.0/GF/Compile/Optimize.hs index 6dd4c9af6..9263dcdd9 100644 --- a/src-3.0/GF/Compile/Optimize.hs +++ b/src-3.0/GF/Compile/Optimize.hs @@ -110,7 +110,7 @@ evalCncInfo :: Options -> SourceGrammar -> Ident -> Ident -> (Ident,Info) -> Err (Ident,Info) evalCncInfo opts gr cnc abs (c,info) = do - seq (prtIf (beVerbose opts) c) $ return () + seq (prtIf (verbAtLeast opts Verbose) c) $ return () errIn ("optimizing" +++ prt c) $ case info of -- cgit v1.2.3