On Fri, Jan 23, 2009 at 11:20:35AM +0000, Dawid Toton wrote: > This was actually a bug in GNOME Terminal... sorry for the noise.
Weird ... I was going to suggeest it was because you weren't flushing the output after each print statement. I usually do: printf "something\n%!" (the %! forces a flush of the output channel). Rich. -- Richard Jones Red Hat _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs