diff: time.m documentation fix

[Fergus Henderson]

library/time.m:
	Fix some obsolete documentation.

Index: time.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/time.m,v
retrieving revision 1.8
diff -u -r1.8 time.m
--- time.m	1997/07/16 20:11:18	1.8
+++ time.m	1997/07/25 02:46:44
@@ -39,9 +39,8 @@
 
 % benchmark_nondet(Pred, In, Count, Repeats, Time) is for benchmarking
 % the nondet predicate Pred. benchmark_nondet is similar to benchmark_det,
-% but since solutions/2 is not yet available in all grades, it can't
-% return the list of solutions, so it returns the count of solutions
-% as the next best thing. The number of milliseconds required to generate
+% but it returns only a count of the solutions, rather than solutions
+% themselves.  The number of milliseconds required to generate
 % all solutions of Pred with input In Repeats times is returned as Time.
 
 :- pred benchmark_nondet(pred(T1, T2), T1, int, int, int).
-- 
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.