Searched refs:saved_lineno (Results 1 – 1 of 1) sorted by relevance
1468 int saved_lineno; in set_prompt() local1480 saved_lineno = current_lineno; in set_prompt()1498 current_lineno = saved_lineno; in set_prompt()