diff -r e944d741f472 -r e09818232531 src/work/klao/debug.h
--- a/src/work/klao/debug.h	Tue May 11 22:49:13 2004 +0000
+++ b/src/work/klao/debug.h	Tue May 11 22:50:09 2004 +0000
@@ -18,12 +18,15 @@
     //! after deleting an item from UnionFindEnum set its value in the
     //! corresponding map to NULL...
     static const bool ensure_safe_state = true;
+
+    static const int verbose = 5;
   };
 
   struct DebugOff {
     static const bool consistensy_check = false;
     static const bool range_check = false;
     static const bool ensure_safe_state = false;
+    static const int verbose = 0;
   };
 
 #ifdef DEBUG