diff: benchmark_{det,nondet}: s/det/cc_multi/

[Fergus Henderson]

Hi,

Any objections to this one?

library/time.m:
	Make the benchmark_det and benchmark_nondet predicates `cc_multi',
	rather than `det', since timing results are nondeterministic.

Index: time.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/time.m,v
retrieving revision 1.7
diff -u -r1.7 time.m
--- time.m	1997/02/08 18:28:57	1.7
+++ time.m	1997/07/16 18:26:35
@@ -35,7 +35,7 @@
 % many times is returned as Time.
 
 :- pred benchmark_det(pred(T1, T2), T1, T2, int, int).
-:- mode benchmark_det(pred(in, out) is det, in, out, in, out) is det.
+:- mode benchmark_det(pred(in, out) is det, in, out, in, out) is cc_multi.
 
 % benchmark_nondet(Pred, In, Count, Repeats, Time) is for benchmarking
 % the nondet predicate Pred. benchmark_nondet is similar to benchmark_det,
@@ -45,7 +45,7 @@
 % all solutions of Pred with input In Repeats times is returned as Time.
 
 :- pred benchmark_nondet(pred(T1, T2), T1, int, int, int).
-:- mode benchmark_nondet(pred(in, out) is nondet, in, out, in, out) is det.
+:- mode benchmark_nondet(pred(in, out) is nondet, in, out, in, out) is cc_multi.
 
 :- implementation.
 

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