Symbol: finish_file
usr.bin/sed/extern.h
56
void finish_file(void);
usr.bin/sed/main.c
373
finish_file();
usr.bin/sed/process.c
199
finish_file();