stage3/constant_folding.hh
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: