[m-rev.] for review: fix recomputing instmap_delta over negations

[Zoltan Somogyi]

On 23-Apr-2010, Peter Wang <novalazy at gmail.com> wrote:
> compiler/mode_util.m:
>         Fix a problem where recomputing the instmap_delta over a negation
>         goal would change its reachability from `unreachable' to `reachable'.

That seems ok.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------