changeset 194 | e18690830555 |
parent 181 | 38d6eb056260 |
child 202 | da1a8186f86f |
--- a/absyntax_utils/search_constant_type.cc Thu Jun 18 18:49:29 2009 +0200 +++ b/absyntax_utils/search_constant_type.cc Thu Jun 18 19:18:54 2009 +0200 @@ -122,4 +122,3 @@ constant_real_type_name_c search_constant_type_c::constant_real_type_name; constant_int_type_name_c search_constant_type_c::constant_int_type_name; -direct_variable_type_name_c search_constant_type_c::direct_variable_type_name;