Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-23 18:55:45 -0800 (Sun, 23 Mar 2003)
Revision: 4226
Log message:

      eflush should be passed via %t, no need to call it on a separate line.
      

Changes	Path
+1 -2	metaprl/doc/htmlman/developer-guide/debugging.html