[m-rev.] for review: improve termination analysis of special preds

[Julien Fischer]

On Fri, 21 Jan 2005, Ian MacLarty wrote:

> I posted some comments on the 19th.
>
So you did - I either didn't get them or accidently deleted them.

I don't think the first point is relevant and I've fixed the second.
(Hopefully that makes sense with absolutely no context).

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