[m-rev.] diff: document a variable

[Zoltan Somogyi]

trace/mercury_trace_internal.c:
	Document a global variable.

Zoltab.

Index: mercury_trace_internal.c
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_internal.c,v
retrieving revision 1.145
diff -u -b -r1.145 mercury_trace_internal.c
--- mercury_trace_internal.c	24 Oct 2002 16:30:38 -0000	1.145
+++ mercury_trace_internal.c	28 Oct 2002 14:00:35 -0000
@@ -137,6 +137,7 @@
 /*
 ** The details of the source server, if any.
 */
+
 static	MR_Trace_Source_Server	MR_trace_source_server =
 	{ NULL, NULL, MR_FALSE };
 
@@ -145,6 +146,12 @@
 */
 
 static	MR_bool			MR_trace_internal_interacting = MR_FALSE;
+
+/*
+** The saved value of MR_io_tabling_enabled. We set that variable to MR_FALSE
+** when executing Mercury code from within the debugger, to avoid tabling I/O
+** primitives that aren't part of the user's program.
+*/
 
 static	MR_bool			MR_saved_io_tabling_enabled;
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------