changeset 568 | 5f79478142d7 |
parent 564 | dabffc3086dc |
child 612 | c062ff18d04f |
--- a/stage3/constant_folding.hh Wed Jun 06 13:28:50 2012 +0100 +++ b/stage3/constant_folding.hh Wed Jun 06 16:39:54 2012 +0100 @@ -48,6 +48,7 @@ search_varfb_instance_type_c *search_varfb_instance_type; search_base_type_c search_base_type; int error_count; + bool warning_found; int current_display_error_level; public: