[m-rev.] for review: new termination analyser (part 4 of 6)

[Mark Brown]

On 02-Apr-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> On 24-Mar-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > +% where |X| represents the size of the variable X (according to whatever
> > +% measure we are using).  There will also additional non-negativity
> > +% constraints on any variables that have non-zero size type.  Variables
> > +% of that have zero-size type are not included at all.  Variables that
> 
> s/of that have zero-size/that have zero size/

I meant to add that "zero-size" is used in a few other places, so you
should change them too.

Cheers,
Mark.

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