Searched refs:old_init_file (Results 1 – 1 of 1) sorted by relevance
1416 const char *old_init_file; in parser_include() local1423 old_init_file = current_readline_init_file; in parser_include()1432 current_readline_init_file = old_init_file; in parser_include()