[m-dev.] diff: fix bug with --disable-extern-debug

[Fergus Henderson]

Estimated hours taken: 0.25

trace/mercury_trace_browse.h:
trace/mercury_trace_browse.c:
	Put MR_trace_browse_external() inside
	`#ifdef MR_USE_EXTERNAL_DEBUGGER',
	because it gets a compile error unless that flag is set.

Workspace: /home/mercury0/fjh/mercury-other
Index: trace/mercury_trace_browse.c
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_browse.c,v
retrieving revision 1.5
diff -u -r1.5 mercury_trace_browse.c
--- mercury_trace_browse.c	1999/05/21 14:38:21	1.5
+++ mercury_trace_browse.c	1999/06/03 23:52:10
@@ -71,6 +71,8 @@
 ** human-readable strings.
 */
 
+#ifdef MR_USE_EXTERNAL_DEBUGGER
+
 void
 MR_trace_browse_external(Word type_info, Word value)
 {
@@ -85,6 +87,8 @@
 	MR_trace_browser_state = MR_make_permanent(MR_trace_browser_state,
 				(Word *) MR_trace_browser_state_type);
 }
+
+#endif
 
 void
 MR_trace_print(Word type_info, Word value)
Index: trace/mercury_trace_browse.h
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_browse.h,v
retrieving revision 1.4
diff -u -r1.4 mercury_trace_browse.h
--- mercury_trace_browse.h	1999/05/21 14:38:21	1.4
+++ mercury_trace_browse.h	1999/06/03 23:52:30
@@ -18,7 +18,9 @@
 ** Interactively browse a term.
 */
 extern 	void	MR_trace_browse(Word type_info, Word value);
+#ifdef MR_USE_EXTERNAL_DEBUGGER
 extern 	void	MR_trace_browse_external(Word type_info, Word value);
+#endif
 
 /*
 ** Display a term (non-interactively).

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------