[m-rev.] diff: remove long unused global variable

[Zoltan Somogyi]

runtime/mercury_wrapper.[ch]:
	Remove a long unused global variable.

cvs diff: Diffing .
Index: mercury_wrapper.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_wrapper.c,v
retrieving revision 1.124
diff -u -b -r1.124 mercury_wrapper.c
--- mercury_wrapper.c	20 Oct 2003 07:29:33 -0000	1.124
+++ mercury_wrapper.c	20 Oct 2003 07:37:19 -0000
@@ -323,15 +323,6 @@
 		/* normally ML_DI_found_match (output_current/12) */
 void	(*MR_DI_read_request_from_socket)(MR_Word, MR_Word *, MR_Integer *);
 
-/*
-** This variable has been replaced by MR_io_print_to_*_stream,
-** but the installed mkinit executable may still generate references to it.
-** We must therefore keep it until all obsolete mkinit executables have
-** been retired.
-*/
-
-MR_Code	*MR_library_trace_browser;
-
 MR_Code	*(*volatile MR_trace_func_ptr)(const MR_Label_Layout *);
 
 void	(*MR_address_of_trace_interrupt_handler)(void);
Index: mercury_wrapper.h
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_wrapper.h,v
retrieving revision 1.60
diff -u -b -r1.60 mercury_wrapper.h
--- mercury_wrapper.h	20 Oct 2003 07:29:33 -0000	1.60
+++ mercury_wrapper.h	20 Oct 2003 07:37:19 -0000
@@ -149,16 +149,6 @@
 extern	void		(*MR_address_of_trace_final_external)(void);
 
 /*
-** XXX This is obsolete too.
-** This variable has been replaced by MR_io_print_to_*_stream,
-** but the installed mkinit executable may still generate references to it.
-** We must therefore keep it until all obsolete mkinit executables have
-** been retired.
-*/
-
-extern	MR_Code		*MR_library_trace_browser;
-
-/*
 ** MR_trace_func_ptr is set to either MR_trace_real (trace/mercury_trace.c),
 ** or MR_trace_fake (runtime/mercury_trace_base.c),
 ** depending on whether tracing was enabled when creating the _init.c
cvs diff: Diffing GETOPT
cvs diff: Diffing machdeps
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------