[m-rev.] trivial diff: add a missing #include

[Julien Fischer]

Perhaps I was tempting fate by announcing a repository freeze ...


Estimated hours taken: 0.1
Branches: main

Fix a problem that was causing the namespace cleanliness check to fail in
the trace directory.

trace/mercury_trace_browse.h:
	Add a missing #include.

Julien.

Index: mercury_trace_browse.h
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_browse.h,v
retrieving revision 1.22
diff -u -r1.22 mercury_trace_browse.h
--- mercury_trace_browse.h	31 Mar 2006 05:12:18 -0000	1.22
+++ mercury_trace_browse.h	31 Mar 2006 13:56:21 -0000
@@ -19,6 +19,8 @@
 #include "mercury_std.h"	/* for MR_bool                     */
 #include "mercury_tags.h"	/* for MR_DEFINE_MERCURY_ENUM_CONST     */

+#include <stdio.h>	/* For FILE */
+
 /*
 ** Convert a term (expressed either as a typeinfo/value pair or as a univ)
 ** or a synthetic term to a browser term.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------