Symbol: flush_des_file
bin/ed/ed.h
184
int flush_des_file(FILE *);
bin/ed/io.c
197
flush_des_file(fp); /* flush buffer */