[m-rev.] trivial diff: fix a comment

Mark Brown mark at cs.mu.OZ.AU
Tue May 24 22:29:31 AEST 2005


Estimated hours taken: 0
Branches: main, release-0.12

library/std_util.m:
	Fix a comment.

Index: library/std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.297
diff -u -r1.297 std_util.m
--- library/std_util.m	24 Jan 2005 23:16:39 -0000	1.297
+++ library/std_util.m	24 May 2005 12:23:29 -0000
@@ -275,7 +275,7 @@
 	% iteration to stop before all solutions have been found.
 	% Declaratively, the specification is as follows:
 	%
-	%	do_while(Generator, Filter, !Acc) -->
+	%	do_while(Generator, Filter, !Acc) :-
 	%		unsorted_solutions(Generator, Solutions),
 	%		do_while_2(Solutions, Filter, !Acc).
 	%
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list