[m-dev.] bug fix for 0.9.1

[Zoltan Somogyi]

I have committed this on the main branch. The person in charge of 0.9.1 (Tyson?)
should commit this on the 0_9_x branch as well, and mention it on the appropriate
web pages or release notes.

library/benchmarking.m:
	Fix a stupid mistake: benchmark times were calculated backwards.

Zoltan.

cvs diff: Diffing .
Index: benchmarking.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/benchmarking.m,v
retrieving revision 1.29
diff -u -b -r1.29 benchmarking.m
--- benchmarking.m	1999/12/21 10:33:57	1.29
+++ benchmarking.m	1999/12/25 11:37:17
@@ -555,7 +555,7 @@
 	impure get_user_cpu_miliseconds(StartTime),
 	impure benchmark_det_loop(Pred, In, Out, Repeats),
 	impure get_user_cpu_miliseconds(EndTime),
-	Time0 = StartTime - EndTime,
+	Time0 = EndTime - StartTime,
 	cc_multi_equal(Time0, Time).
 
 :- impure pred benchmark_det_loop(pred(T1, T2), T1, T2, int).
@@ -577,7 +577,7 @@
 	impure get_user_cpu_miliseconds(StartTime),
 	impure benchmark_nondet_loop(Pred, In, Count, Repeats),
 	impure get_user_cpu_miliseconds(EndTime),
-	Time0 = StartTime - EndTime,
+	Time0 = EndTime - StartTime,
 	cc_multi_equal(Time0, Time).
 
 :- impure pred benchmark_nondet_loop(pred(T1, T2), T1, int, int).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------