changeset 194 | e18690830555 |
parent 181 | 38d6eb056260 |
child 202 | da1a8186f86f |
--- 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 */