[m-rev.] Bugfix in solver type variable initialisation

[Ralph Becket]

Zoltan Somogyi, Thursday,  4 August 2005:
> On 04-Aug-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > +        % A var/lambda unification, which can only be deterministic
> > +        % if it's a construction.
> 
> s/it's/it is/

Changed.

> IIRC, a var/lambda unification is *always* a construction.

In this case it doesn't really hurt to make sure.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------