diff -r 43e00c10dc49 -r 5e09f665c2f1 absyntax_utils/search_constant_type.hh
--- a/absyntax_utils/search_constant_type.hh	Wed Aug 01 08:33:58 2012 +0100
+++ b/absyntax_utils/search_constant_type.hh	Wed Aug 01 09:05:25 2012 +0100
@@ -89,8 +89,6 @@
   static time_type_name_c     time_type_name;
   static int_type_name_c      int_type_name;
 
-/* temporarily here until we remove the st_code_gen.c and il_code_gen.c files... */
-  static integer_c      integer;
 
   /******************************************************/
   /* Extensions to the base standard as defined in      */