[m-dev.] library/mer_std.init

[Zoltan Somogyi]

I have committed the change to builtin.m that deletes a hand-written C module
whose name used to appear in mer_std.init. If you do a cvs update that
gets the new version of builtin.m, you will need to force mer_std.init to
be remade, e.g. by simply deleting it.

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