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;