[m-rev.] Trivial bugfix: added a missing #include to time.m

[Ralph Becket]

This bug appeared on a number of machines on which I'd installed a
recent ROTD.

Estimated hours taken: 0.5
Branches: main

library/time.m:
	Add a missing `#include "mercury_timing.h"' line which caused
	run-time aborts on some operating systems when invoking time.clk_tck.

Index: time.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/time.m,v
retrieving revision 1.42
diff -u -r1.42 time.m
--- time.m	12 Feb 2004 02:24:28 -0000	1.42
+++ time.m	12 Mar 2004 03:14:44 -0000
@@ -194,6 +194,7 @@
 	#define MR_update_io(r_src, r_dest)	((r_dest) = (r_src))
 
 	#include ""mercury_string.h"" /* for MR_make_aligned_string_copy() */
+	#include ""mercury_timing.h"" /* for MR_CLOCK_TICKS_PER_SECOND */
 ").
 
 % We use a no-tag wrapper type for time_t, rather than defining it as an
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------