changeset 664 | 199a9f84e64c |
parent 598 | 0b1ee7e7123b |
--- a/stage3/array_range_check.hh Fri Sep 28 23:59:28 2012 +0200 +++ b/stage3/array_range_check.hh Wed Oct 03 17:44:25 2012 +0100 @@ -41,8 +41,6 @@ private: search_varfb_instance_type_c *search_varfb_instance_type; - // search_var_instance_decl_c *search_var_instance_decl; - search_base_type_c search_base_type; int error_count; int current_display_error_level;