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;