Symbol: write_section
usr.bin/yacc/defs.h
354
extern void write_section(char *[]);
usr.bin/yacc/output.c
101
write_section(trailer);
usr.bin/yacc/output.c
96
write_section(tables);
usr.bin/yacc/output.c
97
write_section(header);
usr.bin/yacc/output.c
99
write_section(body);
usr.bin/yacc/reader.c
1843
write_section(banner);