about Bison

[Shaofu_Wang]

Hi all
Have nice morning!
Could u tell me where the implement of "extern void add_input_file(const char* file);" is? (in the input.h)
Thanks very much.

Ciao
Cloud