Repeating screen print

Hmmm...maybe it was obvious. The answer is, to get a repeating screen
print:

  fprintf(stdout,"Tracing patch %7d\r",total_patches+1);
  fflush(stdout);

The \r is the key...

  Bill Baker
  bakerwl@uwyo.edu