diff: doc/reference_manual.texi s/unique/mostly_unique/

Fergus Henderson fjh at cs.mu.oz.au
Wed Jan 7 23:19:02 AEDT 1998


Estimated hours taken: 0.25

doc/reference_manual.texi:
	Fix a cut-and-paste error: a few occurrences of `unique'
	should have been `mostly_unique'.

Index: reference_manual.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.79
diff -u -u -r1.79 reference_manual.texi
--- reference_manual.texi	1997/10/15 16:31:47	1.79
+++ reference_manual.texi	1998/01/07 12:12:24
@@ -1408,13 +1408,13 @@
 
 @example
 % mostly unique output
-:- mode muo :: free -> unique.
+:- mode muo :: free -> mostly_unique.
 
 % mostly unique input
-:- mode mui :: unique -> unique.
+:- mode mui :: mostly_unique -> mostly_unique.
 
 % mostly destructive input
-:- mode mdi :: unique -> dead.
+:- mode mdi :: mostly_unique -> mostly_dead.
 @end example
 
 @node Limitations of the current implementation

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



More information about the developers mailing list