Searched refs:saved_last_char (Results 1 – 1 of 1) sorted by relevance
4073 int saved_last_char = last_inserted_character; in full_expansion() local4107 last_inserted_character = saved_last_char; in full_expansion()