1 #ifndef lint 2 static char *sccsid = "@(#)wwflush.c 3.2 83/08/11"; 3 #endif 4 5 #include "ww.h" 6 7 wwflush() 8 { 9 (*tt.tt_move)(wwcursorrow, wwcursorcol); 10 (void) fflush(stdout); 11 } 12