[mercury-users] getopt

[Michael Day]

> You're right, that seems to be a bug.
> I'll have a look at it.

Thanks!

I just installed rotd-2003-02-23 today incidentally, and the bug fixes to
intermodule optimisation from Simon are making life much easier, so thanks
all round :)

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------