[m-rev.] Fix bug with state vars in promise_equivalent_solutions goals

Ralph Becket rafe at cs.mu.OZ.AU
Thu Apr 14 14:04:32 AEST 2005


Julien Fischer, Thursday, 14 April 2005:
> 
> That's fine; do you need to update the reference manual as well?

I had a look and I don't think it's necessary.
--------------------------------------------------------------------------
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