On Tue, Dec 14, 2004 at 09:20:13PM -0600, Kurt Welgehausen wrote:
>     Printf.printf "%2d:%02d:%02d\n"
>                         tm.Unix.tm_hour tm.Unix.tm_min tm.Unix.tm_sec;
>     flush stdout in

Or just
Printf.printf "%2d:%02d:%02d\n%!"
              tm.Unix.tm_hour tm.Unix.tm_min tm.Unix.tm_sec

>From the docs on conversion characters:
  !: take no argument and flush the output.

-- 
Evan Martin
martine@danga.com
http://neugierig.org