[m-dev.] trivial diff: fix a comment in string.m

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Sun Nov 19 00:58:18 AEDT 2000


Estimated hours taken: 0

library/string.m:
	Fix a comment.

Index: library/string.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/string.m,v
retrieving revision 1.137
diff -u -r1.137 string.m
--- library/string.m	2000/11/16 05:29:31	1.137
+++ library/string.m	2000/11/18 13:52:42
@@ -51,7 +51,7 @@
 :- pred string__remove_suffix(string, string, string).
 :- mode string__remove_suffix(in, in, out) is semidet.
 %	string__remove_suffix(String, Suffix, Prefix):
-%       The same as string__append(Prefix, Suffix, List) except that
+%       The same as string__append(Prefix, Suffix, String) except that
 %       this is semidet whereas string__append(out, in, in) is nondet.
 
 :- pred string__prefix(string, string).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list