[m-rev.] diff: fix bug in mode analysis wrt quantification

[Ralph Becket]

Zoltan Somogyi, Friday,  7 October 2005:
> For review by Ralph.
> 
> Zoltan.
> 
> Fix a bug I detected and Ralph tracked down. It was the result of an
> interaction of the state variable transformation, mode analysis and
> (lack of) quantification.

That looks fine, although just for the record, the problem isn't
actually state-variable related - the same problem arises if you expand
out the state-variable notation.

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