[m-rev.] diff: fix mantis bug 368

[Zoltan Somogyi]

On Fri, 6 Feb 2015 16:21:58 +1100, Julien Fischer <jfischer at opturion.com> wrote:
> Making Mercury/javas/jmercury/transform_hlds__ctgc__selector.java
> ctgc.selector.m:396: In
> ctgc.selector.m:396:
> `table_reset_for_normalize_selector_with_type_information_4'(di,
> ctgc.selector.m:396:   uo):
> ctgc.selector.m:396:   error: determinism declaration not satisfied.
> ctgc.selector.m:396:   Declared `det', inferred `multi'.
> ctgc.selector.m:396:   Disjunction has multiple clauses with solutions.
> ctgc.selector.m:528: In clause for
> ctgc.selector.m:528:
> `table_reset_for_normalize_selector_with_type_information_4(di,
> ctgc.selector.m:528:   uo)':
> ctgc.selector.m:528:   mode error: argument 2 did not get sufficiently
> ctgc.selector.m:528:   instantiated.
> ctgc.selector.m:528:   Final instantiatedness of `HeadVar__2' was
> ctgc.selector.m:528:   `mostly_unique',
> ctgc.selector.m:528:   expected final instantiatedness was `unique'.
> ** Error making
> `Mercury/javas/jmercury/transform_hlds__ctgc__selector.java'.

It seems in both grades the reset clause is added twice,
but with different variable names :-(, and thus probably
in two different places in the compiler. This means my recent
diff probably stepped on an earlier workaround.

I will fix it.

Zoltan.