Searched refs:other_prefix (Results 1 – 1 of 1) sorted by relevance
1951 char other_prefix = (is_local ? '%' : '@'); local1959 else if (symbol_str[0] == other_prefix)