diff -r e5deeb6d4d2f -r 5f79478142d7 stage3/constant_folding.hh
--- 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: