[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