# HG changeset patch
# User Mario de Sousa <msousa@fe.up.pt>
# Date 1349282665 -3600
# Node ID 199a9f84e64c437b83a20959fa707733d0508122
# Parent  6ad7de83d22c0602cb3918652e22137a96f342be
Delete class elements that are not used (clean up code).

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;
 
diff -r 6ad7de83d22c -r 199a9f84e64c stage3/constant_folding.hh
--- a/stage3/constant_folding.hh	Fri Sep 28 23:59:28 2012 +0200
+++ b/stage3/constant_folding.hh	Wed Oct 03 17:44:25 2012 +0100
@@ -47,7 +47,6 @@
 class constant_folding_c : public iterator_visitor_c {
   private:
     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;