diff -r 6ad7de83d22c -r 199a9f84e64c stage3/array_range_check.hh
--- 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;