[m-dev.] Suggested small change to map.m

Ralph Becket rbeck at microsoft.com
Wed Sep 13 00:53:04 AEDT 2000


> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> 
> map__sorted_keys already exists.

The stupid thing is, I think I put it there...  I'll forget the whole
change.

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



More information about the developers mailing list