diff -r 5ef4fe412e34 -r e18690830555 absyntax_utils/search_constant_type.hh
--- a/absyntax_utils/search_constant_type.hh	Thu Jun 18 18:49:29 2009 +0200
+++ b/absyntax_utils/search_constant_type.hh	Thu Jun 18 19:18:54 2009 +0200
@@ -69,7 +69,6 @@
 
   static constant_real_type_name_c     constant_real_type_name;
   static constant_int_type_name_c      constant_int_type_name;
-  static direct_variable_type_name_c   direct_variable_type_name;
 
   /******************************************************/
   /* Extensions to the base standard as defined in      */