[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