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