fix translation of inf_type_to_string