[m-rev.] diff: check MLLIBS in Mercury.options

[Simon Taylor]

On 15-Dec-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The above changes are not mentioned in the log message and don't
> look correct anyway, there is no stream.string_writer in the stdlib.

Sorry, those are part of another change, and won't be committed.

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