[m-dev.] library/mer_std.init

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu May 29 19:13:40 AEST 2003


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



More information about the developers mailing list