1 files changed, 17 insertions, 4 deletions
diff --git a/src/python/swig/core.i b/src/python/swig/core.i
index 45337c3a5..8b734b940 100644
--- a/src/python/swig/core.i
+++ b/src/python/swig/core.i
@@ -92,7 +92,20 @@ void serializeAll(const std::string &cpt_dir);
 CheckpointIn *getCheckpoint(const std::string &cpt_dir);
 void unserializeGlobals(CheckpointIn &cp);
 
-bool want_warn, warn_verbose;
-bool want_info, info_verbose;
-bool want_hack, hack_verbose;
-
+class Logger
+{
+  public:
+    enum LogLevel {
+        PANIC = 0,
+        FATAL,
+        WARN,
+        INFO,
+        HACK,
+        NUM_LOG_LEVELS,
+    };
+
+    static void setLevel(LogLevel ll);
+
+  private:
+    Logger();
+};