[add getLogState to Config
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717151308
 Ignore-this: 743617c4ffe196e3b115579c40d78ea1
] hunk ./src/Igor2/Config.hs 11
+    getLogState
hunk ./src/Igor2/Config.hs 112
+getLogState :: SCR -> LogState
+getLogState scr = mkLogState (scr_verbosity scr) (scr_verbose scr) (scr_dumpLog scr)
hunk ./src/Igor2/Logging/Logger.hs 12
-    setPriority, getPriority,
-    
-    module Control.Monad , 
-    module Control.Monad.Writer.Strict, 
-    module Control.Monad.State, 
+    LogState(),
+
+    module Control.Monad ,
+    module Control.Monad.Writer.Strict,
+    module Control.Monad.State,
hunk ./src/Igor2/SynthesisEngine.hs 43
-startSynthesis ctx conf tgt bgk = 
-    (withC (runLM (synthesise ctx conf (toRbs tgt)(toRbs bgk)) logstate) ctx)
+startSynthesis ctx conf tgt bgk =
+    (withC (runLM (synthesise ctx conf (toRbs tgt)(toRbs bgk)) (getLogState conf)) ctx)
hunk ./src/Igor2/SynthesisEngine.hs 47
-    logstate = 
-        mkLogState (scr_verbosity conf) (scr_verbose conf) (scr_dumpLog conf)