}
/** Set the new input file to NAME, remember old file. */
void
Includable_lexer::new_input (string name, Sources *sources)
{
}
/** Set the new input file to NAME, remember old file. */
void
Includable_lexer::new_input (string name, Sources *sources)
{