[m-rev.] trivial diff: delete duplicate imports in library

[Michael Day]

>     Delete imports that are duplicated between the interface
>     and implementation sections.

Perhaps the compiler should issue a warning for duplicate imports?

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------