diff: set__sorted_list_to_set documentation bug fix

[Fergus Henderson]

library/set.m:
	Fix a documentation bug: set__sorted_list_to_set requires
	the input list to not contain any duplicates.  Similarly
	set__to_sorted_list produces results that don't contain
	any duplicates.

Index: set.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/set.m,v
retrieving revision 1.44
diff -u -r1.44 set.m
--- set.m	1997/04/30 07:27:12	1.44
+++ set.m	1997/07/25 02:41:31
@@ -27,13 +27,15 @@
 :- mode set__list_to_set(in, out) is det.
 
 	% `set__sorted_list_to_set(List, Set)' is true iff `Set' is the set 
-	% containing only the members of `List'.  `List' must be sorted.
+	% containing only the members of `List'.  `List' must be sorted
+	% and must not contain any duplicates.
 
 :- pred set__sorted_list_to_set(list(T), set(T)).
 :- mode set__sorted_list_to_set(in, out) is det.
 
 	% `set__to_sorted_list(Set, List)' is true iff `List' is the list
-	% of all the members of `Set', in sorted order.
+	% of all the members of `Set', in sorted order without any
+	% duplicates.
 
 :- pred set__to_sorted_list(set(T), list(T)).
 :- mode set__to_sorted_list(in, out) is det.

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