[m-dev.] diff: add a mode declaration for function map__init.

[David Overton]

Estimated hours taken: 0.05

library/map.m:
	Add a unique mode declaration for the map__init function.

Index: map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/map.m,v
retrieving revision 1.72
diff -u -r1.72 map.m
--- map.m	2000/03/31 00:54:16	1.72
+++ map.m	2000/03/31 01:03:22
@@ -609,6 +609,7 @@
 :- interface.
 
 :- func map__init = map(K, V).
+:- mode map__init = uo is det.
 
 :- func map__lookup(map(K,V), K) = V.
 
-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------