[m-rev.] for review: fix a bug in untupling transformation

Ralph Becket rafe at cs.mu.OZ.AU
Fri Feb 11 14:02:07 AEDT 2005


Peter Wang, Friday, 11 February 2005:
> Ralph, I don't know if the fix below is necessary for loop_inv.m, but
> it looks like it wouldn't hurt.

No, that looks good!  Ta.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list