[m-dev.] write_term'd output STILL uncompilable, ROTD-2006-03-06

[doug.auclair at logicaltypes.com]

Dear Julien, thanks for your response:

>The fix was committed on the 7th - so maybe rotd-2006-03-07, definitely
>rotd-2006-03-08 or 09.

Right.  I'll give it another go when I see the fixed distro posted.

Sincerely,
Doug Auclair

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