diff: string.m documentation bug

[Fergus Henderson]

Hi Tom,

Here's the fix for that bug in string__format that you reported.
I checked the ANSI C standard: it turns out that it was the
documentation in string.m that was buggy, not the code.

library/string.m:
	Fix a documentation bug: `-' in a string__format specifier
	means left-justification, not right-justification.

Index: string.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/string.m,v
retrieving revision 1.91
diff -u -r1.91 string.m
--- string.m	1997/05/28 07:41:27	1.91
+++ string.m	1997/06/02 06:56:40
@@ -274,7 +274,8 @@
 %	p	int	integer
 %
 %	An option of zero will cause any padding to be zeros rather than spaces.
-%	A '-' will cause the output to be right-justified in its 'space'. 
+%	A '-' will cause the output to be left-justified in its 'space'. 
+%	(With a `-', the default is for fields to be right-justified.)
 %	A '+' forces a sign to be printed.  This is not sensible for string and
 %	character output.  A ' ' causes a space to be printed before a thing
 %	if there is no sign there.  The other option is the '#', which 

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