trivial diff: mercury_trace.c: fflush(stdout)

[Fergus Henderson]

runtime/mercury_trace.c:
	Add a call to `fflush(stdout)' before writing to stderr;
	this avoids some confusing interleaving between the output of
	the program being debugged and the output of the tracer.

cvs diff  runtime/mercury_trace.c
Index: runtime/mercury_trace.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_trace.c,v
retrieving revision 1.4
diff -u -r1.4 mercury_trace.c
--- mercury_trace.c	1997/12/24 05:07:36	1.4
+++ mercury_trace.c	1998/01/25 08:19:37
@@ -144,6 +144,7 @@
 {
 	int	i;
 
+	fflush(stdout);
 	fprintf(stderr, "%8d: %6d %2d ", MR_trace_event_number, seqno, depth);
 
 	for (i = 0; i < depth; i++) {

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.