[m-dev.] diff: fix another silly bug in benchmarking.m

[Fergus Henderson]

This is a fix for another bug that was introduced when
I added some stuff for MLDS back-end support to the
standard library.

----------

Estimated hours taken: 0.25

library/benchmarking.m:
	Fix a typo: a `ifdef' should have been `ifndef'.

Workspace: /home/mercury0/fjh/mercury
Index: library/benchmarking.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/benchmarking.m,v
retrieving revision 1.30
diff -u -d -r1.30 benchmarking.m
--- benchmarking.m	1999/12/28 04:06:24	1.30
+++ benchmarking.m	1999/12/30 14:42:27
@@ -156,7 +156,7 @@
 	time_at_prev_stat = time_at_last_stat;
 	time_at_last_stat = MR_get_user_cpu_miliseconds();
 
-#ifdef MR_HIGHLEVEL_CODE
+#ifndef MR_HIGHLEVEL_CODE
 	eng = MR_get_engine();
 #endif
 

-- 
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
--------------------------------------------------------------------------