diff: set_unordlist__power_union

[Fergus Henderson]

library/set_unordlist.m:
	Remove an unnecessary call to list__sort in set_unordlist__power_union.

Index: set_unordlist.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/library/set_unordlist.m,v
retrieving revision 1.8
diff -u -r1.8 set_unordlist.m
--- set_unordlist.m	1997/05/21 02:16:25	1.8
+++ set_unordlist.m	1997/06/30 18:24:01
@@ -252,9 +252,8 @@
 	list__append(Set1, Set0, Set).
 
 set_unordlist__power_union(PS, S) :-
-	set_unordlist__to_sorted_list(PS, SL),
 	set_unordlist__init(S0),
-	set_unordlist__power_union_2(SL, S0, S1),
+	set_unordlist__power_union_2(PS, S0, S1),
 	list__sort_and_remove_dups(S1, S).
 
 :- pred set_unordlist__power_union_2(list(set_unordlist(T)), set_unordlist(T),

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