merge from master 8B7B

[tools/sat.git] / src / options.py

diff --git a/src/options.py b/src/options.py
index 911cb713f88df275343603f480dde43b0253c361..b84eae14e81266b68f68332f2bf7390c634b8b16 100755 (executable)
--- a/src/options.py
+++ b/src/options.py
@@ -253,7 +253,7 @@ class Options(object):
         
     def filterLevel(self, aLevel):
       """filter level logging values"""
-      import src.loggingSimple as LOG
+      import src.loggingSat as LOG
       aLev = aLevel.upper()
       knownLevels = LOG._knownLevels
       maxLen = max([len(i) for i in knownLevels])