stage3/print_datatypes_error.hh
changeset 443 ff4d26b7e51d
parent 438 744b125d911e
child 448 1bd18fc06911
--- a/stage3/print_datatypes_error.hh	Mon Feb 13 17:04:29 2012 +0000
+++ b/stage3/print_datatypes_error.hh	Thu Feb 16 10:27:52 2012 +0000
@@ -41,6 +41,7 @@
 
   private:
     /* The level of detail that the user wants us to display error messages. */
+//     #define error_level_default (1)
     #define error_level_default (1)
     #define error_level_nagging (4)
     unsigned int current_display_error_level;