Searched refs:saved_lineno (Results 1 – 1 of 1) sorted by relevance
1475 int saved_lineno; in set_prompt() local1487 saved_lineno = current_lineno; in set_prompt()1505 current_lineno = saved_lineno; in set_prompt()